New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Reify and path-dependent types #6591
Comments
Imported From: https://issues.scala-lang.org/browse/SI-6591?orig=1 |
@xeno-by said: The problem is that when |
@jsuereth said: |
@xeno-by said: |
@xeno-by said: |
@xeno-by said: |
@JamesIry said: |
@JamesIry said: |
Given these data types:
the following shows that inside
reify
,Def.Inner
is treated asOuter.this.Inner
, causing a type mismatch.Macro implementation:
Macro usage:
The type mismatch error generated when compiling Use is below. The mismatch is from the first line of the reify block.
The text was updated successfully, but these errors were encountered: