File tree Expand file tree Collapse file tree 1 file changed +10
-10
lines changed Expand file tree Collapse file tree 1 file changed +10
-10
lines changed Original file line number Diff line number Diff line change 1
- -- Error: tests/neg-macros/quoted-pattern-with-type-params.scala:5 :31 --------------------------------------------------
2
- 5 | case '{ [A] => (x : A) => $b[A] : (A => A) } => // error
1
+ -- Error: tests/neg-macros/quoted-pattern-with-type-params.scala:8 :31 --------------------------------------------------
2
+ 8 | case '{ [A] => (x : A) => $b[A] : (A => A) } => ??? // error
3
3
| ^
4
4
| Type must be fully defined.
5
5
| Consider annotating the splice using a type ascription:
6
6
| (${b}: XYZ).
7
- -- Error: tests/neg-macros/quoted-pattern-with-type-params.scala:7 :33 --------------------------------------------------
8
- 7 | case '{ [A] => (x : A) => $b(x) : (A => A) } => // error
7
+ -- Error: tests/neg-macros/quoted-pattern-with-type-params.scala:9 :33 --------------------------------------------------
8
+ 9 | case '{ [A] => (x : A) => $b(x) : (A => A) } => ??? // error
9
9
| ^
10
10
| Type variables that this argument depends on are not captured in this hoas pattern
11
- -- Error: tests/neg-macros/quoted-pattern-with-type-params.scala:9 :24 - -------------------------------------------------
12
- 9 | case '{ (a:Int) => $b[Int](a) : String } => // error
13
- | ^
14
- | Type must be fully defined.
15
- | Consider annotating the splice using a type ascription:
16
- | (${b}: XYZ).
11
+ -- Error: tests/neg-macros/quoted-pattern-with-type-params.scala:10 :24 -------------------------------------------------
12
+ 10 | case '{ (a:Int) => $b[Int](a) : String } => ??? // error
13
+ | ^
14
+ | Type must be fully defined.
15
+ | Consider annotating the splice using a type ascription:
16
+ | (${b}: XYZ).
You can’t perform that action at this time.
0 commit comments