scope test_checkConceptFields_with_RefL.

concept X {
  new RefL<X> list;
}

svoid test_checkConceptFields_with_RefL() {
  new Concepts cc;
  X a = cnew(cc, X);
  X b = cnew(cc, X, list := ll(a));
  assertTrueVerbose(checkConceptFields(b, list := ll(a)));
  assertFalseVerbose(checkConceptFields(b, list := ll(a, a)));
  assertFalseVerbose(checkConceptFields(b, list := ll(b)));
}

end scope