subst

Documentation

Overview

Package subst is an excerpt from x/tools/go/ssa responsible for performing type substitution in types defined in terms of type parameters with provided type arguments.

Copy of https://cs.opensource.google/go/x/tools/+/refs/tags/v0.33.0:go/ssa/subst.go Any changes to this copy are labelled with GOPHERJS.

Index

• type Subster
  • func New(tc *types.Context, replacements map[*types.TypeParam]types.Type) *Subster
  • func (s *Subster) Type(typ types.Type) types.Type
  • func (s *Subster) Types(ts []types.Type) []types.Type

Types

type Subster

type Subster struct {
	// contains filtered or unexported fields
}

Subster performs type parameter substitution.

func New

func New(tc *types.Context, replacements map[*types.TypeParam]types.Type) *Subster

New creates a new Subster with a given a map from type parameters and the arguments that should be used to replace them. If the map is empty, nil is returned.

func (*Subster) Type

func (s *Subster) Type(typ types.Type) types.Type

Type returns a version of typ with all references to type parameters replaced with the corresponding type arguments.

func (*Subster) Types

func (s *Subster) Types(ts []types.Type) []types.Type

Types returns a version of ts with all references to type parameters replaced with the corresponding type arguments.