var go/types.Typ
156 uses
go/types (current package)
api.go#L418: return tv.mode == value && tv.Type == Typ[UntypedNil]
assignments.go#L62: if T == nil && x.typ() == Typ[UntypedNil] {
assignments.go#L123: lhs.typ = Typ[Invalid]
assignments.go#L132: lhs.typ = Typ[Invalid]
assignments.go#L158: lhs.typ = Typ[Invalid]
assignments.go#L169: if typ == Typ[UntypedNil] {
assignments.go#L171: lhs.typ = Typ[Invalid]
assignments.go#L222: return Typ[Invalid]
assignments.go#L229: return Typ[Invalid]
assignments.go#L238: return Typ[Invalid]
assignments.go#L242: return Typ[Invalid]
assignments.go#L434: v.typ = Typ[Invalid]
assignments.go#L466: v.typ = Typ[Invalid]
builtins.go#L225: check.recordBuiltinType(call.Fun, makeSig(Typ[Int], x.typ()))
builtins.go#L229: x.typ_ = Typ[Int]
builtins.go#L306: x.typ_ = Typ[UntypedFloat]
builtins.go#L312: check.convertUntyped(x, Typ[Float64])
builtins.go#L313: check.convertUntyped(y, Typ[Float64])
builtins.go#L335: return Typ[Complex64]
builtins.go#L337: return Typ[Complex128]
builtins.go#L339: return Typ[UntypedComplex]
builtins.go#L419: check.recordBuiltinType(call.Fun, makeSig(Typ[Int], x.typ(), y.typ()))
builtins.go#L422: x.typ_ = Typ[Int]
builtins.go#L467: x.typ_ = Typ[UntypedComplex]
builtins.go#L474: check.convertUntyped(x, Typ[Complex128])
builtins.go#L489: return Typ[Float32]
builtins.go#L491: return Typ[Float64]
builtins.go#L493: return Typ[UntypedFloat]
builtins.go#L739: check.assignment(x, Typ[UnsafePointer], "argument to unsafe.Add")
builtins.go#L750: x.typ_ = Typ[UnsafePointer]
builtins.go#L765: check.recordBuiltinType(call.Fun, makeSig(Typ[Uintptr], x.typ()))
builtins.go#L772: x.typ_ = Typ[Uintptr]
builtins.go#L829: check.recordBuiltinType(call.Fun, makeSig(Typ[Uintptr], obj.Type()))
builtins.go#L841: x.typ_ = Typ[Uintptr]
builtins.go#L853: check.recordBuiltinType(call.Fun, makeSig(Typ[Uintptr], x.typ()))
builtins.go#L865: x.typ_ = Typ[Uintptr]
builtins.go#L921: x.typ_ = Typ[String]
builtins.go#L930: check.assignment(x, Typ[String], "argument to unsafe.StringData")
builtins.go#L938: check.recordBuiltinType(call.Fun, makeSig(x.typ(), Typ[String]))
call.go#L993: x.typ_ = Typ[Invalid]
conversions.go#L112: if isTypes2 && x.typ() == Typ[UntypedNil] {
cycles.go#L59: tname.setType(Typ[Invalid])
decl.go#L106: obj.setType(Typ[Invalid])
decl.go#L110: obj.setType(Typ[Invalid])
decl.go#L272: a.fromRHS = Typ[Invalid]
decl.go#L410: obj.typ = Typ[Invalid]
decl.go#L453: obj.typ = Typ[Invalid]
decl.go#L534: alias.fromRHS = Typ[Invalid]
decl.go#L554: alias.fromRHS = Typ[Invalid]
decl.go#L580: named.fromRHS = Typ[Invalid]
decl.go#L627: bound = Typ[Invalid]
decl.go#L630: bound = Typ[Invalid]
decl.go#L670: tpar := check.newTypeParam(tname, Typ[Invalid]) // assigns type to tname as a side-effect
expr.go#L437: return Typ[UntypedNil], nil, 0
expr.go#L454: return Typ[UntypedNil], nil, 0
expr.go#L463: return Typ[UntypedNil], nil, 0
expr.go#L475: return Typ[UntypedNil], nil, 0
expr.go#L577: x.typ_ = Typ[UntypedBool]
expr.go#L654: check.representable(y, Typ[Uint])
expr.go#L671: check.convertUntyped(y, Typ[Uint])
expr.go#L690: x.typ_ = Typ[UntypedInt]
expr.go#L707: x.typ_ = Typ[UntypedInt]
expr.go#L1021: x.typ_ = Typ[Invalid]
expr.go#L1032: x.typ_ = Typ[Invalid]
expr.go#L1305: var typ Type = Typ[UntypedBool]
index.go#L226: x.typ_ = Typ[Invalid]
index.go#L275: cu = Typ[String]
index.go#L315: x.typ_ = Typ[String]
index.go#L421: typ = Typ[Invalid]
index.go#L455: check.convertUntyped(x, Typ[Int])
index.go#L474: if !representableConst(x.val, check, Typ[Int], &x.val) {
instantiate.go#L149: return Typ[Invalid]
instantiate.go#L168: return Typ[Invalid]
literals.go#L146: typ = Typ[Invalid]
lookup.go#L636: return Typ[Invalid], true
named.go#L772: return Typ[Invalid]
object.go#L213: return &PkgName{object{nil, pos, pkg, name, Typ[Invalid], 0, nopos}, imported}
object.go#L501: return &Label{object{pos: pos, pkg: pkg, name: name, typ: Typ[Invalid]}, false}
object.go#L512: return &Builtin{object{name: predeclaredFuncs[id].name, typ: Typ[Invalid]}, id}
operand.go#L134: case nil, Typ[Invalid]:
operand.go#L136: case Typ[UntypedNil]:
operand.go#L143: if x.mode() == value && x.typ() == Typ[UntypedNil] {
operand.go#L305: x.typ_ = Typ[Invalid]
operand.go#L309: x.typ_ = Typ[kind]
operand.go#L318: return x.mode() == value && x.typ() == Typ[UntypedNil]
predicates.go#L18: func isValid(t Type) bool { return Unalias(t) != Typ[Invalid] }
predicates.go#L529: return Typ[Bool]
predicates.go#L531: return Typ[Int]
predicates.go#L535: return Typ[Float64]
predicates.go#L537: return Typ[Complex128]
predicates.go#L539: return Typ[String]
range.go#L58: typ_: Typ[Int],
range.go#L127: if typ == nil || typ == Typ[Invalid] {
range.go#L129: obj.typ = Typ[Invalid]
range.go#L165: if typ == nil || typ == Typ[Invalid] {
range.go#L207: return Typ[Invalid], Typ[Invalid], cause, false
range.go#L224: return Typ[Int], universeRune, "", true // use 'rune' name
range.go#L233: return Typ[Int], typ.elem, "", true
range.go#L235: return Typ[Int], typ.elem, "", true
recording.go#L25: typ = Typ[Invalid]
signature.go#L219: var recvType Type = Typ[Invalid]
signature.go#L237: recvType = Typ[Invalid] // avoid follow-on errors by Checker.validRecv
stmt.go#L347: T = Typ[Invalid]
stmt.go#L400: T = Typ[Invalid]
stmt.go#L647: x.typ_ = Typ[Bool]
struct.go#L108: typ = Typ[Invalid]
subst.go#L112: return Typ[Invalid] // error reported elsewhere
subst.go#L331: return Typ[Invalid] // error reported elsewhere
subst.go#L361: return Typ[Invalid]
typexpr.go#L186: typ = Typ[Invalid]
typexpr.go#L206: typ = Typ[Invalid]
typexpr.go#L318: typ.base = Typ[Invalid] // avoid nil base in invalid recursive type declaration
typexpr.go#L325: return Typ[Invalid]
typexpr.go#L387: typ := Typ[Invalid]
typexpr.go#L419: return Typ[Invalid]
typexpr.go#L429: return Typ[Invalid]
typexpr.go#L490: if representableConst(val, check, Typ[Int], nil) {
union.go#L72: u = Typ[Invalid]
union.go#L158: typ = Typ[Invalid]
universe.go#L41: var Typ = []*Basic{
universe.go#L78: for _, t := range Typ {
universe.go#L93: res := newVar(ResultVar, nopos, nil, "", Typ[String])
universe.go#L133: def(NewConst(nopos, nil, c.name, Typ[c.kind], c.val))
universe.go#L138: def(&Nil{object{name: "nil", typ: Typ[UntypedNil]}})
validtype.go#L126: t.Origin().fromRHS = Typ[Invalid]
golang.org/x/tools/internal/gcimporter
iexport.go#L686: if sig.Recv().Type() != types.Typ[types.Invalid] {
predeclared.go#L35: types.Typ[types.Bool],
predeclared.go#L36: types.Typ[types.Int],
predeclared.go#L37: types.Typ[types.Int8],
predeclared.go#L38: types.Typ[types.Int16],
predeclared.go#L39: types.Typ[types.Int32],
predeclared.go#L40: types.Typ[types.Int64],
predeclared.go#L41: types.Typ[types.Uint],
predeclared.go#L42: types.Typ[types.Uint8],
predeclared.go#L43: types.Typ[types.Uint16],
predeclared.go#L44: types.Typ[types.Uint32],
predeclared.go#L45: types.Typ[types.Uint64],
predeclared.go#L46: types.Typ[types.Uintptr],
predeclared.go#L47: types.Typ[types.Float32],
predeclared.go#L48: types.Typ[types.Float64],
predeclared.go#L49: types.Typ[types.Complex64],
predeclared.go#L50: types.Typ[types.Complex128],
predeclared.go#L51: types.Typ[types.String],
predeclared.go#L61: types.Typ[types.UntypedBool],
predeclared.go#L62: types.Typ[types.UntypedInt],
predeclared.go#L63: types.Typ[types.UntypedRune],
predeclared.go#L64: types.Typ[types.UntypedFloat],
predeclared.go#L65: types.Typ[types.UntypedComplex],
predeclared.go#L66: types.Typ[types.UntypedString],
predeclared.go#L67: types.Typ[types.UntypedNil],
predeclared.go#L70: types.Typ[types.UnsafePointer],
predeclared.go#L73: types.Typ[types.Invalid], // only appears in packages with errors
ureader.go#L347: return types.Typ[r.Len()]
golang.org/x/tools/internal/typeparams
normalize.go#L190: if t.Type() == types.Typ[types.Invalid] {
normalize.go#L205: if u != types.Typ[types.Invalid] {