Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add PolyType to Infer#normalize. | Paul Phillips | 2013-01-26 | 1 | -0/+13 |
It arises when inferring the type of an overloaded call: def g(s: String): String = s def f: String = ??? def f[C](c: C): String = g(f) Also refined warning when isHKSubType is called with arguments which very likely were never meant to be compared. |