Wrote tests and code to ensure type constraint is checked when an explicit equality
is provided that has the wrong type parameter.