si2712fix-demo

si2712fix-demo copied to clipboard

Case where unification fails

1

Simplified/standalone version of the first failure case I'm hitting from [tierney](https://github.com/m50d/tierney). I have no idea whether this case is even possible to fix, but figured it was worth raising. `testSuccess`...

m50d

How does the fix work with inheritance?

7

To quote Dmitry from https://github.com/milessabin/scala/commit/d91fda48ba0a2754beaeb0b719bed75b3dcce38e: ``` trait A[T1, T2] { } trait B[T1, T2] { } class C extends A[T, Long] with B[T, Double] { } object Test { def...

xeno-by

See [here](http://stackoverflow.com/questions/34110426/does-java-support-lets-encrypt-certificates#34111150).

milessabin