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 2024-05-07T18:16:22Z
by OpenModelicaOpenModelica 1.22.4 using GenerateDoc.mos