You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
--Error: examples/test.scala:11:8---------------------------------------------11| foo[T] // error|^|no implicit argument of typequoted.Type[T] was found for parameter evidence$1 of method foo
--Error: examples/test.scala:15:8---------------------------------------------15| foo[U] // error|^|no implicit argument of typequoted.Type[U] was found for parameter evidence$1 of method foo
--Error: examples/test.scala:19:8---------------------------------------------19| foo[N] // error|^|no implicit argument of typequoted.Type[N] was found for parameter evidence$1 of method foo
The text was updated successfully, but these errors were encountered:
For the test case `tests/pos/i4514.scala`, previously the generated
evidence is incorrect, as the following code shows:
inline def foo[X >: Nothing <: Any](x: X): Unit =
${Foo.fooImpl[quoted.Expr[X]]('{x})('[quoted.Expr[X]])}:Unit
liufengyun
added a commit
to dotty-staging/dotty
that referenced
this issue
May 30, 2019
Uh oh!
There was an error while loading. Please reload this page.
Discovered in #6586, the following code fails to compile:
The text was updated successfully, but these errors were encountered: