tests/bugs152/pr128443/Bug.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

interface Result {}

interface Factory {
  Result getInstance();
}

class B   {}

class D implements Factory {}

aspect EnsureBImplementsResult {

  // bug: this should work
  declare parents: B implements Result;


  // bug: get error here wrt invalid return type
  public B D.getInstance() { 
    return new B(); 
  }
}