We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7596819 commit 582192dCopy full SHA for 582192d
tests/neg/targetName-refine.check
@@ -0,0 +1,7 @@
1
+-- [E007] Type Mismatch Error: tests/neg/targetName-refine.scala:7:27 --------------------------------------------------
2
+7 |val x: T { def f: Int } = C() // error
3
+ | ^^^
4
+ | Found: C
5
+ | Required: T{def f: Int}
6
+ |
7
+ | longer explanation available when compiling with `-explain`
tests/pos/targetName-refine.scala renamed to tests/neg/targetName-refine.scala
@@ -4,5 +4,5 @@ trait T:
class C extends T:
@targetName("f2") def f: Int = 1
-val x: T { def f: Int } = C()
+val x: T { def f: Int } = C() // error
8
0 commit comments