var go/types.Typ
178 uses
go/types (current package)
api.go#L352: return tv.mode == value && tv.Type == Typ[UntypedNil]
api.go#L428: if T.Underlying() == Typ[Invalid] {
api.go#L466: if V.Underlying() == Typ[Invalid] {
assignments.go#L42: if T == nil && x.typ == Typ[UntypedNil] {
assignments.go#L106: if x.mode == invalid || x.typ == Typ[Invalid] || lhs.typ == Typ[Invalid] {
assignments.go#L108: lhs.typ = Typ[Invalid]
assignments.go#L117: lhs.typ = Typ[Invalid]
assignments.go#L137: if x.mode == invalid || x.typ == Typ[Invalid] || lhs.typ == Typ[Invalid] {
assignments.go#L139: lhs.typ = Typ[Invalid]
assignments.go#L149: if typ == Typ[UntypedNil] {
assignments.go#L151: lhs.typ = Typ[Invalid]
assignments.go#L168: if x.mode == invalid || x.typ == Typ[Invalid] {
assignments.go#L209: if z.mode == invalid || z.typ == Typ[Invalid] {
assignments.go#L268: case t == Typ[Invalid]:
assignments.go#L324: obj.typ = Typ[Invalid]
builtins.go#L218: if mode == invalid && under(x.typ) != Typ[Invalid] {
builtins.go#L229: check.recordBuiltinType(call.Fun, makeSig(Typ[Int], x.typ))
builtins.go#L233: x.typ = Typ[Int]
builtins.go#L294: x.typ = Typ[UntypedFloat]
builtins.go#L300: check.convertUntyped(x, Typ[Float64])
builtins.go#L301: check.convertUntyped(&y, Typ[Float64])
builtins.go#L323: return Typ[Complex64]
builtins.go#L325: return Typ[Complex128]
builtins.go#L327: return Typ[UntypedComplex]
builtins.go#L377: check.recordBuiltinType(call.Fun, makeSig(Typ[Int], x.typ, y.typ))
builtins.go#L380: x.typ = Typ[Int]
builtins.go#L429: x.typ = Typ[UntypedComplex]
builtins.go#L436: check.convertUntyped(x, Typ[Complex128])
builtins.go#L451: return Typ[Float32]
builtins.go#L453: return Typ[Float64]
builtins.go#L455: return Typ[UntypedFloat]
builtins.go#L493: if T == Typ[Invalid] {
builtins.go#L538: if T == Typ[Invalid] {
builtins.go#L612: check.assignment(x, Typ[UnsafePointer], "argument to unsafe.Add")
builtins.go#L624: x.typ = Typ[UnsafePointer]
builtins.go#L639: check.recordBuiltinType(call.Fun, makeSig(Typ[Uintptr], x.typ))
builtins.go#L646: x.typ = Typ[Uintptr]
builtins.go#L703: check.recordBuiltinType(call.Fun, makeSig(Typ[Uintptr], obj.Type()))
builtins.go#L710: x.typ = Typ[Uintptr]
builtins.go#L722: check.recordBuiltinType(call.Fun, makeSig(Typ[Uintptr], x.typ))
builtins.go#L729: x.typ = Typ[Uintptr]
call.go#L266: x2 := &operand{mode: value, expr: e, typ: Typ[UntypedBool]}
call.go#L548: if under(x.typ) == Typ[Invalid] {
check.go#L165: alias.typ = Typ[Invalid]
check.go#L176: return alias.typ == Typ[Invalid] && check.brokenAliases[alias]
check.go#L410: typ = Typ[Invalid]
check.go#L454: assert(typ == Typ[Invalid] || allBasic(typ, IsConstType))
decl.go#L133: obj.typ = Typ[Invalid]
decl.go#L138: obj.typ = Typ[Invalid]
decl.go#L148: obj.typ = Typ[Invalid]
decl.go#L313: check.validAlias(tname, Typ[Invalid])
decl.go#L437: if under(t) != Typ[Invalid] {
decl.go#L440: obj.typ = Typ[Invalid]
decl.go#L483: obj.typ = Typ[Invalid]
decl.go#L585: named.underlying = Typ[Invalid]
decl.go#L595: named.underlying = Typ[Invalid]
decl.go#L639: bound = Typ[Invalid]
decl.go#L642: bound = Typ[Invalid]
decl.go#L683: tpar := check.newTypeParam(tname, Typ[Invalid]) // assigns type to tpar as a side-effect
expr.go#L633: if x.mode == invalid || isTyped(x.typ) || target == Typ[Invalid] {
expr.go#L686: return Typ[UntypedNil], nil, 0
expr.go#L703: return Typ[UntypedNil], nil, 0
expr.go#L712: return Typ[UntypedNil], nil, 0
expr.go#L724: return Typ[UntypedNil], nil, 0
expr.go#L825: x.typ = Typ[UntypedBool]
expr.go#L931: check.representable(y, Typ[Uint])
expr.go#L949: check.convertUntyped(y, Typ[Uint])
expr.go#L968: x.typ = Typ[UntypedInt]
expr.go#L985: x.typ = Typ[UntypedInt]
expr.go#L1121: if x.typ != Typ[Invalid] && y.typ != Typ[Invalid] {
expr.go#L1239: x.typ = Typ[Invalid]
expr.go#L1250: x.typ = Typ[Invalid]
expr.go#L1521: if utyp != Typ[Invalid] {
expr.go#L1575: if T == Typ[Invalid] {
index.go#L32: if x.typ != Typ[Invalid] {
index.go#L202: x.typ = Typ[Invalid]
index.go#L242: x.typ = Typ[String]
index.go#L348: typ = Typ[Invalid]
index.go#L382: check.convertUntyped(x, Typ[Int])
index.go#L401: if !representableConst(x.val, check, Typ[Int], &x.val) {
index.go#L423: if typ, i := check.index(kv.Key, length); typ != Typ[Invalid] {
instantiate.go#L90: return Typ[Invalid]
instantiate.go#L159: if Vu == Typ[Invalid] || Tu == Typ[Invalid] {
instantiate.go#L162: if p, _ := Vu.(*Pointer); p != nil && under(p.base) == Typ[Invalid] {
interface.go#L184: if typ != Typ[Invalid] {
lookup.go#L471: return Typ[Invalid], true
named.go#L290: u = Typ[Invalid]
named.go#L296: u = Typ[Invalid]
named.go#L400: underlying = Typ[Invalid]
object.go#L193: return &PkgName{object{nil, pos, pkg, name, Typ[Invalid], 0, black, token.NoPos}, imported, false}
object.go#L379: return &Label{object{pos: pos, pkg: pkg, name: name, typ: Typ[Invalid], color_: black}, false}
object.go#L390: return &Builtin{object{name: predeclaredFuncs[id].name, typ: Typ[Invalid], color_: black}, id}
operand.go#L108: if x.mode == value && x.typ == Typ[UntypedNil] {
operand.go#L164: if x.typ != Typ[Invalid] {
operand.go#L215: x.typ = Typ[Invalid]
operand.go#L219: x.typ = Typ[kind]
operand.go#L225: return x.mode == value && x.typ == Typ[UntypedNil]
operand.go#L235: if x.mode == invalid || T == Typ[Invalid] {
predicates.go#L455: return Typ[Bool]
predicates.go#L457: return Typ[Int]
predicates.go#L461: return Typ[Float64]
predicates.go#L463: return Typ[Complex128]
predicates.go#L465: return Typ[String]
signature.go#L196: recv = NewParam(token.NoPos, nil, "", Typ[Invalid]) // ignore recv below
signature.go#L213: if rtyp != Typ[Invalid] {
stmt.go#L295: if T == Typ[Invalid] {
stmt.go#L603: x.typ = Typ[Bool]
stmt.go#L901: obj.typ = Typ[Invalid]
stmt.go#L944: return Typ[Int], universeRune // use 'rune' name
stmt.go#L947: return Typ[Int], typ.elem
stmt.go#L949: return Typ[Int], typ.elem
stmt.go#L953: return typ.elem, Typ[Invalid]
struct.go#L106: typ = Typ[Invalid]
struct.go#L148: if t == Typ[Invalid] {
subst.go#L223: return Typ[Invalid] // error reported elsewhere
subst.go#L285: return Typ[Invalid]
type.go#L90: return Typ[String]
typeparam.go#L113: if u == Typ[Invalid] {
typeset.go#L300: if u == Typ[Invalid] {
typeset.go#L409: } else if u == Typ[Invalid] {
typexpr.go#L83: if typ == Typ[Invalid] {
typexpr.go#L113: if typ == Typ[Invalid] {
typexpr.go#L186: typ = Typ[Invalid]
typexpr.go#L198: if typ != Typ[Invalid] && !isGeneric(typ) {
typexpr.go#L202: typ = Typ[Invalid]
typexpr.go#L318: typ.base = Typ[Invalid] // avoid nil base in invalid recursive type declaration
typexpr.go#L388: typ := Typ[Invalid]
typexpr.go#L410: if gtyp == Typ[Invalid] {
typexpr.go#L422: def.setUnderlying(Typ[Invalid]) // avoid errors later due to lazy instantiation
typexpr.go#L423: return Typ[Invalid]
typexpr.go#L525: if representableConst(val, check, Typ[Int], nil) {
typexpr.go#L545: if t == Typ[Invalid] {
union.go#L69: if u != Typ[Invalid] {
union.go#L71: u = Typ[Invalid]
union.go#L83: if u == Typ[Invalid] {
union.go#L92: if t.typ == Typ[Invalid] {
union.go#L153: typ = Typ[Invalid]
universe.go#L38: var Typ = []*Basic{
universe.go#L75: for _, t := range Typ {
universe.go#L96: res := NewVar(token.NoPos, nil, "", Typ[String])
universe.go#L134: def(NewConst(token.NoPos, nil, c.name, Typ[c.kind], c.val))
universe.go#L139: def(&Nil{object{name: "nil", typ: Typ[UntypedNil], color_: black}})
validtype.go#L66: if t.underlying == Typ[Invalid] {
validtype.go#L82: t.underlying = Typ[Invalid] // t is in the current package (no race possibility)
golang.org/x/tools/internal/gcimporter
bimport.go#L1002: types.Typ[types.Bool],
bimport.go#L1003: types.Typ[types.Int],
bimport.go#L1004: types.Typ[types.Int8],
bimport.go#L1005: types.Typ[types.Int16],
bimport.go#L1006: types.Typ[types.Int32],
bimport.go#L1007: types.Typ[types.Int64],
bimport.go#L1008: types.Typ[types.Uint],
bimport.go#L1009: types.Typ[types.Uint8],
bimport.go#L1010: types.Typ[types.Uint16],
bimport.go#L1011: types.Typ[types.Uint32],
bimport.go#L1012: types.Typ[types.Uint64],
bimport.go#L1013: types.Typ[types.Uintptr],
bimport.go#L1014: types.Typ[types.Float32],
bimport.go#L1015: types.Typ[types.Float64],
bimport.go#L1016: types.Typ[types.Complex64],
bimport.go#L1017: types.Typ[types.Complex128],
bimport.go#L1018: types.Typ[types.String],
bimport.go#L1028: types.Typ[types.UntypedBool],
bimport.go#L1029: types.Typ[types.UntypedInt],
bimport.go#L1030: types.Typ[types.UntypedRune],
bimport.go#L1031: types.Typ[types.UntypedFloat],
bimport.go#L1032: types.Typ[types.UntypedComplex],
bimport.go#L1033: types.Typ[types.UntypedString],
bimport.go#L1034: types.Typ[types.UntypedNil],
bimport.go#L1037: types.Typ[types.UnsafePointer],
bimport.go#L1040: types.Typ[types.Invalid], // only appears in packages with errors
iexport.go#L454: if sig.Recv().Type() != types.Typ[types.Invalid] {
ureader_yes.go#L349: return types.Typ[r.Len()]
golang.org/x/tools/internal/typeparams
normalize.go#L192: if t.Type() == types.Typ[types.Invalid] {
normalize.go#L207: if u != types.Typ[types.Invalid] {