You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Each of the '{} produces a type error for "expected T, got {String, List[t]}" but the example in the docs seems to suggest that T is known to be String/List[t] in those paths!
Expectation
This should compile fine. Note that adding an asExprOf[T] makes it work, but is far from ideal.
The text was updated successfully, but these errors were encountered:
Compiler version
3.4.1 (note I am using
-Ykind-projector:underscores
, if that's relevant)Minimized code
The example from https://docs.scala-lang.org/scala3/reference/metaprogramming/macros.html#type-patterns-1
Output
Each of the
'{}
produces a type error for "expected T, got {String, List[t]}" but the example in the docs seems to suggest thatT
is known to be String/List[t] in those paths!Expectation
This should compile fine. Note that adding an
asExprOf[T]
makes it work, but is far from ideal.The text was updated successfully, but these errors were encountered: