permit with a class which is not a subtype is allowed

Remi Forax forax at univ-mlv.fr
Tue Sep 3 13:03:40 UTC 2019


The compiler allows to permit a class which is not a subtype.

public class AncestorPermitExample {
  sealed interface I permits A {
  	
  }
  final static class A {
  	
  }
}

The VM too but it's not a bug for the VM (i believe).

Rémi


More information about the amber-dev mailing list