org.aspectj/tests/features197/java15/PersonaNonGrata.java

// This should not compile because Person is sealed and does not allow PersonaNonGrata as a subclass
public final class PersonaNonGrata extends Person {}