Nice catch. Please put a comma before 'and T' or even better use 'while' or the like in the following sentence, because it is very confusing.
Many people out the type Constrain and say it should be invalid because Constrain requires its second type argument to be a subtype of its first and T, and every supertype of T, is not a subtype of U.
Nice catch. Please put a comma before 'and T' or even better use 'while' or the like in the following sentence, because it is very confusing.
Many people out the type Constrain and say it should be invalid because Constrain requires its second type argument to be a subtype of its first and T, and every supertype of T, is not a subtype of U.
Yuck, that sentence is messy! Thanks for letting me know. I fixed it, or at least I fixed it a bit.