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-11-29T19:14:07Z
by OpenModelicaOpenModelica 1.25.7 using GenerateDoc.mos