inlining not properly enumerating all options

[nikomatsakis]

In this grammar:

grammar;

pub E: () = {
    "X" "{" <a:AT*> <e:ET> <b:AT*> "}" => (),
};

AT: () = {
    "type" ";"
};

ET: () = {
    "enum" "{" "}"
};

inlining produces a state like this, which is wrong:

    // State 3
    //   AT = (*) "type" ";" ["enum"]
    //   AT = (*) "type" ";" ["type"]
    //   AT+ = (*) AT ["enum"]
    //   AT+ = (*) AT ["type"]
    //   AT+ = (*) AT+ AT ["enum"]
    //   AT+ = (*) AT+ AT ["type"]
    //   E = "X" "{" (*) AT+ ET AT+ "}" [EOF] <---- ???
    //   E = "X" "{" (*) ET "}" [EOF]
    //   ET = (*) "enum" "{" "}" ["}"]
    //
    //   "enum" -> Shift(S7)
    //   "type" -> Shift(S8)
    //
    //   AT -> S4
    //   AT+ -> S5
    //   ET -> S6

In particular, we are missing "X" "{" AT+ ET "}", which will cause parse failures.

[nikomatsakis]

Ah, I see the problem. The problem is that AT+ appears twice, and we inline it the same way both times.