blob: f7967d71b689131c513ae0997620e0164b3fe10a (
plain) (
blame)
1
2
3
4
5
6
7
8
|
package test
trait Two[A, B]
object Test {
def foo[M[_], A](m: M[A]) = ()
def test(ma: Two[Int, String]) = foo(ma) // should fail with -Ypartial-unification *disabled*
}
|