tests/bugs163/pr253109/CodeOne.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

import java.util.*;

public aspect CodeOne {
  before(): execution(* CodeOne.*(..)) && args(List<Number>) {}
  before(): execution(* CodeOne.*(..)) && args(List<Integer>) {}

  void m(List<Integer> li) {}

  public void callm() {
    List<Number> ln = new ArrayList<Number>();
    List<Integer> li = new ArrayList<Integer>();
    // m(ln);//not allowed
    m(li);
  }

}