-
Marius Gerbershagen authored
Only disallow struct redefinition if we are certain about subtype relationships in slots. Otherwise, we can wrongly disallow struct redefinitions which don't change slot types.
f7cd2b87
Only disallow struct redefinition if we are certain about subtype relationships in slots. Otherwise, we can wrongly disallow struct redefinitions which don't change slot types.