---

title: InvalidTypeArg layout: article

InvalidTypeArg occurs when a type argument does not satisfy its
corresponding type parameter constraints.

Example:
 type T[P ~int] struct{}

 var _ T[string]