tokay icon indicating copy to clipboard operation
tokay copied to clipboard

bug: Use of generic within implicit parselet fails to compile

Open phorward opened this issue 1 year ago • 2 comments

This little program

Test : @<T: 'x'> {
    Pos<(T | 'X')>
}

Test

fails to compile:

thread 'main' panicked at src/compiler/iml/imlvalue.rs:355:52:
IndexMap: key not found
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

The problem is that (T | 'X') is made into an implicit parselet, which references generic T, but T is not a generic of that implicit parselet. Unfortuntately, this issue is a conceptual problem with the current compiler. It cannot be bypassed right now.

phorward avatar Dec 29 '23 15:12 phorward

The problem can be seen as part of #128

phorward avatar Dec 29 '23 16:12 phorward