Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Better test for #1181 | Guillaume Martres | 2016-07-18 | 1 | -0/+11 |
Now that we implement partial higher-order unification (SI-2712 fix) i1181.scala will compile even if `Alias[Int]` gets dealiased to `(Int, Int)` because we can unify the latter with `M[_]` where `M = [X] -> (Int, X)`. The new test will only succeed if `Alias[Int, Int]` is not dealiased because we will never unify `Foo[Int]` with `M[_,_]`. |