/testsuite/compiler/check/restricted-inheritance/