erased
is still considered a keyword even without -Yerased-terms
#7944
Labels
erased
is still considered a keyword even without -Yerased-terms
#7944
minimized code
Compilation output:
expectation
I expect the above program to compile and run, given that I don't pass the
-Yerased-terms
argument.See also: the recent PR #7906.
The text was updated successfully, but these errors were encountered: