| class A {} |
| |
| class B {} |
| |
| class AB1 extends A implements B {} |
| |
| class AB2 extends A implements B {} |
| |
| class BA1 extends B implements A {} |
| |
| class BA2 extends B implements A {} |
| |
| takeSubclassOfA(obj) { |
| // The analysis should at least infer that 'obj' is a subclass of A, |
| // When the upper bound is ambiguous, it should use the common superclass, if |
| // there is one besides Object. |
| } |
| |
| takeSubclassOfB(obj) { |
| // Likewise, the analysis should infer that 'obj' is a subclass of B. |
| } |
| |
| main() { |
| takeSubclassOfA(new AB1()); |
| takeSubclassOfA(new AB2()); |
| |
| takeSubclassOfB(new BA1()); |
| takeSubclassOfB(new BA2()); |
| } |