blob: a2f31702b76756bcae4098f520bf14256d9222f2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
bug696.scala:3: error: implicit method WithType is not contractive,
because the implicit parameter type TypeUtil0.this.Type[S]
is not strictly contained in the signature TypeUtil0.this.Type[S with T]
implicit def WithType[S,T](implicit tpeS : Type[S], tpeT : Type[T]) : Type[S with T] = null
^
bug696.scala:4: error: no implicit argument matching parameter type TypeUtil0.this.Type[Any] was found.
as[Any](null);
^
two errors found
|
