package fixture // Not compiled. The literal writes a recorded sentence, but a later // assignment takes one result of a multi-value expression into the same // field. The gate cannot prove that write, so the read is a violation. type refusal struct{ Reason string } func detail(err error) (string, error) { return err.Error(), nil } func multi(w int, err error) { box := refusal{Reason: "invalid region"} box.Reason, _ = detail(err) jsonError(w, 400, box.Reason) } func commaOK(w int, names map[string]string, k string) { box := refusal{Reason: "invalid region"} var ok bool box.Reason, ok = names[k] _ = ok jsonError(w, 400, box.Reason) }