File tree Expand file tree Collapse file tree 4 files changed +5
-5
lines changed Expand file tree Collapse file tree 4 files changed +5
-5
lines changed Original file line number Diff line number Diff line change 1
1
-- [E081] Type Error: tests/neg/i11350.scala:1:39 ----------------------------------------------------------------------
2
2
1 |class A1[T](action: A1[T] ?=> String = "") // error
3
3
| ^
4
- | Could not infer type for parameter contextual $1 of anonymous function
4
+ | Could not infer type for parameter evidence $1 of anonymous function
5
5
|
6
6
| Partially inferred type for the parameter: A1[<?>]
7
7
|
8
8
| Expected type for the whole anonymous function: (A1[<?>]) ?=> String
9
9
-- [E081] Type Error: tests/neg/i11350.scala:2:39 ----------------------------------------------------------------------
10
10
2 |class A2[T](action: A1[T] ?=> String = summon[A1[T]]) // error
11
11
| ^
12
- | Could not infer type for parameter contextual $2 of anonymous function
12
+ | Could not infer type for parameter evidence $2 of anonymous function
13
13
|
14
14
| Partially inferred type for the parameter: A1[<?>]
15
15
|
Original file line number Diff line number Diff line change 1
1
stage1 code: ((q1: scala.quoted.Quotes) ?=> {
2
2
val x1: scala.Int = 2
3
- scala.quoted.runtime.Expr.quote[scala.Int](1.+(scala.quoted.runtime.Expr.splice[scala.Int](((contextual $5: scala.quoted.Quotes) ?=> scala.quoted.Expr.apply[scala.Int](x1)(scala.quoted.ToExpr.IntToExpr[scala.Int])(contextual $5))))).apply(using q1)
3
+ scala.quoted.runtime.Expr.quote[scala.Int](1.+(scala.quoted.runtime.Expr.splice[scala.Int](((evidence $5: scala.quoted.Quotes) ?=> scala.quoted.Expr.apply[scala.Int](x1)(scala.quoted.ToExpr.IntToExpr[scala.Int])(evidence $5))))).apply(using q1)
4
4
})
5
5
3
Original file line number Diff line number Diff line change 1
1
((q: scala.quoted.Quotes) ?=> {
2
2
val a: scala.quoted.Expr[scala.Int] = scala.quoted.runtime.Expr.quote[scala.Int](4).apply(using q)
3
- ((contextual $2: scala.quoted.Quotes) ?=> a).apply(using q)
3
+ ((evidence $2: scala.quoted.Quotes) ?=> a).apply(using q)
4
4
})
Original file line number Diff line number Diff line change 1
1
((q: scala.quoted.Quotes) ?=> {
2
2
val a: scala.quoted.Expr[scala.Int] = scala.quoted.runtime.Expr.quote[scala.Int](4).apply(using q)
3
- ((q2: scala.quoted.Quotes) ?=> ((contextual $2: scala.quoted.Quotes) ?=> a).apply(using q2))
3
+ ((q2: scala.quoted.Quotes) ?=> ((evidence $2: scala.quoted.Quotes) ?=> a).apply(using q2))
4
4
}.apply(using q))
You can’t perform that action at this time.
0 commit comments