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-23T19:13:52Z
by OpenModelicaOpenModelica 1.26.0 using GenerateDoc.mos