[extension types] Member conflicts ignore precluded members #3486

Merged

eernstg merged 2 commits intomainfrom spec_extension_type_shadow2_nov23

Dec 1, 2023

+5-4

Commits on Nov 28, 2023

Adjust rules about extension type member conflicts: precluded members do not create conflicts
eernstg
committed
Add mixed member case: precluded members do not create a conflict
eernstg
committed