Skip to content

Commit 582192d

Browse files
committed
Move targetName-refine from pos/ to neg/
1 parent 7596819 commit 582192d

File tree

2 files changed

+8
-1
lines changed

2 files changed

+8
-1
lines changed

tests/neg/targetName-refine.check

+7
Original file line numberDiff line numberDiff line change
@@ -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

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,5 +4,5 @@ trait T:
44
class C extends T:
55
@targetName("f2") def f: Int = 1
66

7-
val x: T { def f: Int } = C()
7+
val x: T { def f: Int } = C() // error
88

0 commit comments

Comments
 (0)