go/types.TypeParam.Constraint (method)
17 uses
go/types (current package)
infer.go#L266: err.addf(posn, "%s (type %s) does not satisfy %s", tpar, tx, tpar.Constraint())
infer.go#L307: err.addf(posn, "%s (type %s) does not satisfy %s %s", tpar, tx, tpar.Constraint(), cause)
typeparam.go#L75: func (t *TypeParam) Constraint() Type {
go.pact.im/x/plumb/internal/emit
emit.go#L480: if !gotypes.ConstraintCollapsesToAny(tp.Constraint()) {
emit.go#L481: c = qual(tp.Constraint())
go.pact.im/x/plumb/internal/solve
checks.go#L80: if gotypes.ConstraintCollapsesToAny(tp.Constraint()) {
checks.go#L86: if gotypes.ContainsInvalid(tp.Constraint()) {
checks.go#L89: if obj, bad := findUnreachable(tp.Constraint(), s.destPath); bad {
lift.go#L44: if c := p.Tparams.At(i).Constraint(); c != nil {
lift.go#L68: tp.SetConstraint(orig.Constraint())
golang.org/x/exp/apidiff
correspondence.go#L266: if !d.correspond(tps1.At(i).Constraint(), tps2.At(i).Constraint()) {
golang.org/x/tools/go/types/objectpath
objectpath.go#L516: tr.typ(path, offset, opConstraint, -1, T.Constraint())
objectpath.go#L880: t = tparam.Constraint()
golang.org/x/tools/go/types/typeutil
map.go#L264: hash += 7 * h.hash(tparam.Constraint())
golang.org/x/tools/internal/gcimporter
iexport.go#L756: constraint := tparam.Constraint()
golang.org/x/tools/internal/typeparams
normalize.go#L64: constraint := tparam.Constraint()