Method ResolveSubtypeIdent

lint/errscontract/typecheck.go:161–190

ResolveSubtypeIdent inspects the identifier used as the value of a `Subtype:` composite-literal field and reports the typed-scope verdict via the (resolved, ok) tuple: - (true, true): the identifier is a declared errs.Subtype constant. The AST pass may skip its nameset check for this site. - (false

(absPath string, sel *ast.Ident)

//     info, sel==nil, no type info for the identifier, or the resolved
//     object is not a constant). Caller defers to AST-only resolution.
func (s *TypedScope) ResolveSubtypeIdent(absPath string, sel *ast.Ident) (resolved, ok bool) {
	if !s.Enabled() {
		return false, false
	}
	info, found := s.LookupFileInfo(absPath)
	if !found || info == nil || sel == nil {
		return false, false
	}
	obj, found := info.Uses[sel]
	if !found || obj == nil {
		// No type info for this identifier — caller falls back to AST.
		return false, false
	}
	c, isConst := obj.(*types.Const)
	if !isConst {
		return false, false
	}
	if c.Pkg() == nil || c.Pkg().Path() != errsPkgPath {
		// Foreign-package constant assigned to a Subtype: slot. Reject —
		// the caller routes ALL selectors through this path regardless of
		// name shape, so this branch fires for both `foreign.SubtypeFoo`
		// and `foreign.MyKind`.
		return false, true
	}
	if _, declared := s.errsSubtypeConsts[c.Name()]; !declared {
		// In the errs package but not a Subtype const (defense-in-depth).
		return false, true
	}
	return true, true
}