Method Resolve

compiler/internal/typeparams/instance.go:124–134

Resolve instantiates and performs a substitution of the instance to get the concrete type or function. This will panic if the instance is not valid, e.g. if there are a different number of type arguments than the type parameters. If `tc` is non-nil, it de-duplicates the instance against previous in

(tc *types.Context)

// When resolving several instances in the same context, it is more efficient
// to use NewResolver to take advantage of caching.
func (i Instance) Resolve(tc *types.Context) types.Type {
	instType := i.Object.Type()
	if len(i.TArgs) > 0 {
		var err error
		instType, err = types.Instantiate(tc, instType, i.TArgs, true)
		if err != nil {
			panic(fmt.Errorf("failed to instantiate %v: %w", i, err))
		}
	}
	return NewResolver(tc, i).Substitute(instType)
}

// InstanceSet allows collecting and processing unique Instances.
//