6404665 orig From
The Analytic TraditionRemi, your bug 6404665 was one of the first I looked at, and I agree that many statements should allow more relaxed types. (This goes slightly counter to the edit I've made to the post, about "exactly type XYZ", but I am not trying to ...