org.aspectj/tests/new/finalfield/Introducer.java

aspect Introducer {
  final boolean Receiver.someField = true;
  
  public static final int Receiver.constant = 2;
}