var go/types.Typ
160 uses
go/types (current package)
api.go#L428: return tv.mode == value && tv.Type == Typ[UntypedNil]
assignments.go#L62: if T == nil && x.typ == Typ[UntypedNil] {
assignments.go#L124: lhs.typ = Typ[Invalid]
assignments.go#L133: lhs.typ = Typ[Invalid]
assignments.go#L159: lhs.typ = Typ[Invalid]
assignments.go#L170: if typ == Typ[UntypedNil] {
assignments.go#L172: lhs.typ = Typ[Invalid]
assignments.go#L223: return Typ[Invalid]
assignments.go#L230: return Typ[Invalid]
assignments.go#L239: return Typ[Invalid]
assignments.go#L243: return Typ[Invalid]
assignments.go#L433: v.typ = Typ[Invalid]
assignments.go#L465: 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#L415: check.recordBuiltinType(call.Fun, makeSig(Typ[Int], x.typ, y.typ))
builtins.go#L418: x.typ = Typ[Int]
builtins.go#L463: x.typ = Typ[UntypedComplex]
builtins.go#L470: check.convertUntyped(x, Typ[Complex128])
builtins.go#L485: return Typ[Float32]
builtins.go#L487: return Typ[Float64]
builtins.go#L489: return Typ[UntypedFloat]
builtins.go#L735: check.assignment(x, Typ[UnsafePointer], "argument to unsafe.Add")
builtins.go#L746: x.typ = Typ[UnsafePointer]
builtins.go#L761: check.recordBuiltinType(call.Fun, makeSig(Typ[Uintptr], x.typ))
builtins.go#L768: x.typ = Typ[Uintptr]
builtins.go#L825: check.recordBuiltinType(call.Fun, makeSig(Typ[Uintptr], obj.Type()))
builtins.go#L837: x.typ = Typ[Uintptr]
builtins.go#L849: check.recordBuiltinType(call.Fun, makeSig(Typ[Uintptr], x.typ))
builtins.go#L861: x.typ = Typ[Uintptr]
builtins.go#L917: x.typ = Typ[String]
builtins.go#L926: check.assignment(x, Typ[String], "argument to unsafe.StringData")
builtins.go#L934: check.recordBuiltinType(call.Fun, makeSig(x.typ, Typ[String]))
call.go#L976: x.typ = Typ[Invalid]
check.go#L235: alias.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#L288: a.fromRHS = Typ[Invalid]
decl.go#L292: check.validAlias(tname, Typ[Invalid])
decl.go#L431: obj.typ = Typ[Invalid]
decl.go#L474: obj.typ = Typ[Invalid]
decl.go#L556: alias.fromRHS = Typ[Invalid]
decl.go#L576: alias.fromRHS = Typ[Invalid]
decl.go#L631: named.fromRHS = Typ[Invalid]
decl.go#L678: bound = Typ[Invalid]
decl.go#L681: bound = Typ[Invalid]
decl.go#L721: tpar := check.newTypeParam(tname, Typ[Invalid]) // assigns type to tname as a side-effect
expr.go#L436: return Typ[UntypedNil], nil, 0
expr.go#L453: return Typ[UntypedNil], nil, 0
expr.go#L462: return Typ[UntypedNil], nil, 0
expr.go#L474: return Typ[UntypedNil], nil, 0
expr.go#L576: x.typ = Typ[UntypedBool]
expr.go#L653: check.representable(y, Typ[Uint])
expr.go#L670: check.convertUntyped(y, Typ[Uint])
expr.go#L689: x.typ = Typ[UntypedInt]
expr.go#L706: x.typ = Typ[UntypedInt]
expr.go#L1025: x.typ = Typ[Invalid]
expr.go#L1038: x.typ = Typ[Invalid]
expr.go#L1049: x.typ = Typ[Invalid]
expr.go#L1310: x2 := &operand{mode: value, expr: e, typ: Typ[UntypedBool]}
index.go#L204: x.typ = Typ[Invalid]
index.go#L253: cu = Typ[String]
index.go#L285: x.typ = Typ[String]
index.go#L391: typ = Typ[Invalid]
index.go#L425: check.convertUntyped(x, Typ[Int])
index.go#L444: if !representableConst(x.val, check, Typ[Int], &x.val) {
instantiate.go#L142: return Typ[Invalid]
instantiate.go#L156: return Typ[Invalid]
literals.go#L146: typ = Typ[Invalid]
lookup.go#L625: return Typ[Invalid], true
named.go#L644: u = Typ[Invalid]
named.go#L768: return Typ[Invalid]
object.go#L213: return &PkgName{object{nil, pos, pkg, name, Typ[Invalid], 0, nopos}, imported}
object.go#L500: return &Label{object{pos: pos, pkg: pkg, name: name, typ: Typ[Invalid]}, false}
object.go#L511: return &Builtin{object{name: predeclaredFuncs[id].name, typ: Typ[Invalid]}, id}
operand.go#L118: case nil, Typ[Invalid]:
operand.go#L120: case Typ[UntypedNil]:
operand.go#L127: if x.mode == value && x.typ == Typ[UntypedNil] {
operand.go#L289: x.typ = Typ[Invalid]
operand.go#L293: x.typ = Typ[kind]
operand.go#L302: 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#L220: var recvType Type = Typ[Invalid]
signature.go#L238: 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#L254: return Typ[Invalid] // error reported elsewhere
subst.go#L284: return Typ[Invalid]
typexpr.go#L197: typ = Typ[Invalid]
typexpr.go#L217: typ = Typ[Invalid]
typexpr.go#L329: typ.base = Typ[Invalid] // avoid nil base in invalid recursive type declaration
typexpr.go#L336: return Typ[Invalid]
typexpr.go#L398: typ := Typ[Invalid]
typexpr.go#L430: return Typ[Invalid]
typexpr.go#L440: return Typ[Invalid]
typexpr.go#L501: if representableConst(val, check, Typ[Int], nil) {
union.go#L72: u = Typ[Invalid]
union.go#L158: typ = Typ[Invalid]
universe.go#L42: var Typ = []*Basic{
universe.go#L79: for _, t := range Typ {
universe.go#L123: res := newVar(ResultVar, nopos, nil, "", Typ[String])
universe.go#L162: def(NewConst(nopos, nil, c.name, Typ[c.kind], c.val))
universe.go#L167: def(&Nil{object{name: "nil", typ: Typ[UntypedNil]}})
validtype.go#L126: t.Origin().fromRHS = Typ[Invalid]
golang.org/x/tools/internal/gcimporter
iexport.go#L721: if sig.Recv().Type() != types.Typ[types.Invalid] {
predeclared.go#L34: types.Typ[types.Bool],
predeclared.go#L35: types.Typ[types.Int],
predeclared.go#L36: types.Typ[types.Int8],
predeclared.go#L37: types.Typ[types.Int16],
predeclared.go#L38: types.Typ[types.Int32],
predeclared.go#L39: types.Typ[types.Int64],
predeclared.go#L40: types.Typ[types.Uint],
predeclared.go#L41: types.Typ[types.Uint8],
predeclared.go#L42: types.Typ[types.Uint16],
predeclared.go#L43: types.Typ[types.Uint32],
predeclared.go#L44: types.Typ[types.Uint64],
predeclared.go#L45: types.Typ[types.Uintptr],
predeclared.go#L46: types.Typ[types.Float32],
predeclared.go#L47: types.Typ[types.Float64],
predeclared.go#L48: types.Typ[types.Complex64],
predeclared.go#L49: types.Typ[types.Complex128],
predeclared.go#L50: types.Typ[types.String],
predeclared.go#L60: types.Typ[types.UntypedBool],
predeclared.go#L61: types.Typ[types.UntypedInt],
predeclared.go#L62: types.Typ[types.UntypedRune],
predeclared.go#L63: types.Typ[types.UntypedFloat],
predeclared.go#L64: types.Typ[types.UntypedComplex],
predeclared.go#L65: types.Typ[types.UntypedString],
predeclared.go#L66: types.Typ[types.UntypedNil],
predeclared.go#L69: types.Typ[types.UnsafePointer],
predeclared.go#L72: types.Typ[types.Invalid], // only appears in packages with errors
ureader.go#L348: 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] {