Prevent Grammar type inference from moving stuff "up"

[cdietrich]

Hi,

we have these 4 grammar rules

Parent1: SomeSub;
Parent2: SomeSub | SomeOtherSub;
SomeSub: "somesub"someRef=[SomeType:ID];
SomeOtherSub: "other" other=ID;

how can i prevent from getting

type Parent1 = SomeSub (and thus someRef moved to Parent1)

the MyDslAstType will then have both.

[msujew]

Hey @cdietrich,

I believe if you use declared types, the type system will attempt to respect those as much as possible (assuming the validation passes).