<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_cr29a8qropmrqgbci5nnlkh183, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
scope test_unstructureOfMissingConceptClass.

concept Blu {}
concept Bla > Blu {}

// make sure best base class is used
svoid test_unstructureOfMissingConceptClass() {
  IF1<S, Class> classFinder = name -> {
    if (eq(name, "main$Bla")) null;
    ret (Class) callF(_defaultClassFinder(), name);
  };
  S struct = structure(unlisted(Bla));
  print(+struct);
  O o = unstructure(struct, classFinder);
  assertEqualsVerbose(Blu.class, _getClass(o));
}

end scope