Disallow local term references in staged types #16362
Conversation
nicolasstucki
force-pushed
the
fix-16355
branch
from
5e0bc19 to
aa1d6c3
Compare
| tryHeal(prefix.symbol, tp, pos) | ||
| case _ => | ||
| mapOver(tp) | ||
| case tp @ TermRef(NoPrefix, _) if !tp.symbol.isStatic && level > levelOf(tp.symbol) => |
There was a problem hiding this comment.
why do we check level > here but level != in healTypeOfTerm?
There was a problem hiding this comment.
In healTypeOfTerm we are looking for terms that are used in other stages. Terms must be used at the same stage they are defined, hence the level !=.
For types the rules are a bit different. For types in general it is always safe to use the type in a previous stage and one needs a type Type[T] for generic types if it is used in a future stage. This is in general where the > comes in for type. But in this particular case, we have a type reference to a local variable that will not exist in the next stage and we cannot create a valid Type[T] for it. Therefore it emmits an error.
There was a problem hiding this comment.
Thanks for the explanation, I think it'd be helpful to add something like that as a comment in the code
There was a problem hiding this comment.
Added to the comment.
nicolasstucki
force-pushed
the
fix-16355
branch
from
aa1d6c3 to
7d731dc
Compare
nicolasstucki
force-pushed
the
fix-16355
branch
from
7d731dc to
df0d9ea
Compare
Co-authored-by: Guillaume Martres <smarter@ubuntu.com>
3 participants
Fixes #15917
Fixes #16355