public aspect Concrete extends Abstract<Number> {
  public Number getT() {
    return 5;
  }
}