A type parameter that is a subtype of error.
Has the special semantic that when used in a declaration
all uses in the declaration must refer to same type.
A type parameter that is a subtype of any|error.
Has the special semantic that when used in a declaration
all uses in the declaration must refer to same type.