var go/types.Typ
162 uses
go/types (current package)
alias.go#L128: if t != Typ[Invalid] {
alias.go#L181: if actual == Typ[Invalid] {
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#L221: check.recordBuiltinType(call.Fun, makeSig(Typ[Int], x.typ))
builtins.go#L225: x.typ = Typ[Int]
builtins.go#L302: x.typ = Typ[UntypedFloat]
builtins.go#L308: check.convertUntyped(x, Typ[Float64])
builtins.go#L309: check.convertUntyped(y, Typ[Float64])
builtins.go#L331: return Typ[Complex64]
builtins.go#L333: return Typ[Complex128]
builtins.go#L335: return Typ[UntypedComplex]
builtins.go#L411: check.recordBuiltinType(call.Fun, makeSig(Typ[Int], x.typ, y.typ))
builtins.go#L414: x.typ = Typ[Int]
builtins.go#L459: x.typ = Typ[UntypedComplex]
builtins.go#L466: check.convertUntyped(x, Typ[Complex128])
builtins.go#L481: return Typ[Float32]
builtins.go#L483: return Typ[Float64]
builtins.go#L485: return Typ[UntypedFloat]
builtins.go#L712: check.assignment(x, Typ[UnsafePointer], "argument to unsafe.Add")
builtins.go#L723: x.typ = Typ[UnsafePointer]
builtins.go#L738: check.recordBuiltinType(call.Fun, makeSig(Typ[Uintptr], x.typ))
builtins.go#L745: x.typ = Typ[Uintptr]
builtins.go#L802: check.recordBuiltinType(call.Fun, makeSig(Typ[Uintptr], obj.Type()))
builtins.go#L814: x.typ = Typ[Uintptr]
builtins.go#L826: check.recordBuiltinType(call.Fun, makeSig(Typ[Uintptr], x.typ))
builtins.go#L838: x.typ = Typ[Uintptr]
builtins.go#L894: x.typ = Typ[String]
builtins.go#L903: check.assignment(x, Typ[String], "argument to unsafe.StringData")
builtins.go#L911: check.recordBuiltinType(call.Fun, makeSig(x.typ, Typ[String]))
check.go#L233: alias.typ = Typ[Invalid]
conversions.go#L112: if isTypes2 && x.typ == Typ[UntypedNil] {
decl.go#L140: obj.typ = Typ[Invalid]
decl.go#L145: obj.typ = Typ[Invalid]
decl.go#L155: obj.typ = Typ[Invalid]
decl.go#L328: check.validAlias(tname, Typ[Invalid])
decl.go#L466: obj.typ = Typ[Invalid]
decl.go#L509: obj.typ = Typ[Invalid]
decl.go#L593: alias := check.newAlias(obj, Typ[Invalid])
decl.go#L653: named.underlying = Typ[Invalid]
decl.go#L663: named.underlying = Typ[Invalid]
decl.go#L710: bound = Typ[Invalid]
decl.go#L713: bound = Typ[Invalid]
decl.go#L753: 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#L1014: x.typ = Typ[Invalid]
expr.go#L1025: x.typ = Typ[Invalid]
expr.go#L1286: x2 := &operand{mode: value, expr: e, typ: Typ[UntypedBool]}
index.go#L204: x.typ = Typ[Invalid]
index.go#L252: cu = Typ[String]
index.go#L284: x.typ = Typ[String]
index.go#L390: typ = Typ[Invalid]
index.go#L424: check.convertUntyped(x, Typ[Int])
index.go#L443: if !representableConst(x.val, check, Typ[Int], &x.val) {
instantiate.go#L147: return Typ[Invalid]
instantiate.go#L161: return Typ[Invalid]
literals.go#L146: typ = Typ[Invalid]
lookup.go#L625: return Typ[Invalid], true
named.go#L578: u = Typ[Invalid]
named.go#L584: u = Typ[Invalid]
named.go#L659: return Typ[Invalid]
object.go#L253: return &PkgName{object{nil, pos, pkg, name, Typ[Invalid], 0, black, nopos}, imported}
object.go#L539: return &Label{object{pos: pos, pkg: pkg, name: name, typ: Typ[Invalid], color_: black}, false}
object.go#L550: return &Builtin{object{name: predeclaredFuncs[id].name, typ: Typ[Invalid], color_: black}, 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#L59: typ: Typ[Int],
range.go#L128: if typ == nil || typ == Typ[Invalid] {
range.go#L130: obj.typ = Typ[Invalid]
range.go#L166: if typ == nil || typ == Typ[Invalid] {
range.go#L208: return Typ[Invalid], Typ[Invalid], cause, false
range.go#L225: return Typ[Int], universeRune, "", true // use 'rune' name
range.go#L234: return Typ[Int], typ.elem, "", true
range.go#L236: return Typ[Int], typ.elem, "", true
recording.go#L25: typ = Typ[Invalid]
signature.go#L194: var recvType Type = Typ[Invalid]
signature.go#L212: 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#L336: typ.base = Typ[Invalid] // avoid nil base in invalid recursive type declaration
typexpr.go#L344: return Typ[Invalid]
typexpr.go#L411: typ := Typ[Invalid]
typexpr.go#L422: assert(t == Typ[Invalid])
typexpr.go#L463: return Typ[Invalid]
typexpr.go#L473: return Typ[Invalid]
typexpr.go#L534: 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#L126: res := newVar(ResultVar, nopos, nil, "", Typ[String])
universe.go#L164: def(NewConst(nopos, nil, c.name, Typ[c.kind], c.val))
universe.go#L169: def(&Nil{object{name: "nil", typ: Typ[UntypedNil], color_: black}})
validtype.go#L131: t.underlying = Typ[Invalid]
validtype.go#L132: t.Origin().underlying = Typ[Invalid]
golang.org/x/tools/internal/gcimporter
iexport.go#L723: 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_yes.go#L346: 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] {