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 11-- [E081] Type Error: tests/neg/i11350.scala:1:39 ----------------------------------------------------------------------
221 |class A1[T](action: A1[T] ?=> String = "") // error
33 | ^
4- | Could not infer type for parameter contextual $1 of anonymous function
4+ | Could not infer type for parameter evidence $1 of anonymous function
55 |
66 | Partially inferred type for the parameter: A1[<?>]
77 |
88 | Expected type for the whole anonymous function: (A1[<?>]) ?=> String
99-- [E081] Type Error: tests/neg/i11350.scala:2:39 ----------------------------------------------------------------------
10102 |class A2[T](action: A1[T] ?=> String = summon[A1[T]]) // error
1111 | ^
12- | Could not infer type for parameter contextual $2 of anonymous function
12+ | Could not infer type for parameter evidence $2 of anonymous function
1313 |
1414 | Partially inferred type for the parameter: A1[<?>]
1515 |
Original file line number Diff line number Diff line change 11stage1 code: ((q1: scala.quoted.Quotes) ?=> {
22 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)
44})
553
Original file line number Diff line number Diff line change 11((q: scala.quoted.Quotes) ?=> {
22 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)
44})
Original file line number Diff line number Diff line change 11((q: scala.quoted.Quotes) ?=> {
22 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))
44}.apply(using q))
You can’t perform that action at this time.
0 commit comments