go/src/cmd/compile/internal/types2/recording.go

func (check *Checker) record(x *operand) { … }

func (check *Checker) recordUntyped() { … }

func (check *Checker) recordTypeAndValue(x syntax.Expr, mode operandMode, typ Type, val constant.Value) { … }

func (check *Checker) recordBuiltinType(f syntax.Expr, sig *Signature) { … }

// recordCommaOkTypes updates recorded types to reflect that x is used in a commaOk context
// (and therefore has tuple type).
func (check *Checker) recordCommaOkTypes(x syntax.Expr, a []*operand) { … }

// recordInstance records instantiation information into check.Info, if the
// Instances map is non-nil. The given expr must be an ident, selector, or
// index (list) expr with ident or selector operand.
//
// TODO(rfindley): the expr parameter is fragile. See if we can access the
// instantiated identifier in some other way.
func (check *Checker) recordInstance(expr syntax.Expr, targs []Type, typ Type) { … }

func (check *Checker) recordDef(id *syntax.Name, obj Object) { … }

func (check *Checker) recordUse(id *syntax.Name, obj Object) { … }

func (check *Checker) recordImplicit(node syntax.Node, obj Object) { … }

func (check *Checker) recordSelection(x *syntax.SelectorExpr, kind SelectionKind, recv Type, obj Object, index []int, indirect bool) { … }

func (check *Checker) recordScope(node syntax.Node, scope *Scope) { … }