[Bug 1721] [FS] need a judgment to find the "best" type and quantifier

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1721





------- Additional Comments From simeon@us.ibm.com  2005-07-26 15:12 -------
I think I take it back and that Michael is right. We don't really need the best
type in this particular case. There are a few places where we need it (in type
promotion for instance), but not there.

We do need to fix all the Expr <: Type into Expr : Type though.

- Jerome

Received on Tuesday, 26 July 2005 15:12:11 UTC