blob: d6cee4f5ed22b37ee77d936f21c1952aa3298dbf (
plain) (
tree)
|
|
t1432.scala:12: error: type mismatch;
found : (Int, Bug_NoUnique.Alias2[Bug_NoUnique.Wrap[Unit]] => Double)
required: Bug_NoUnique.TypeCon[Unit]
(which expands to) (Int, Unit => Double)
def test(x : TypeCon[Wrap[Unit]]) : TypeCon[Unit] = wrap(x)
^
one error found
|