blob: 90bba0bf13a1cb6975771b3980538c2ab45c122e (
plain) (
tree)
|
|
bug1432.scala:10: error: type mismatch;
found : (Int, Bug_NoUnique.Wrap[Bug_NoUnique.Wrap[Unit]] => Double)
required: (Int, Unit => Double)
def test(x : TypeCon[Wrap[Unit]]) : TypeCon[Unit] = wrap(x)
^
one error found
|