Tests that it's possible to redeclare the constraining type
of a class. Redeclaring X to extend A in E should be illegal, since A is
not a subtype of the new constraining class B.Contents
Generated at 2025-12-13T19:13:59Z
by OpenModelicaOpenModelica 1.25.7 using GenerateDoc.mos