Description Philipe Mulet 2006-11-23 05:37:25 EST

Build 3.3M3

The following program should be rejected on line "b.foo()".
It currently is rejected instead the line "b.bar()".

Problem comes from the fact type parameters are taking precedence over member types, which they shouldn't.

interface IFoo { void foo(); }
interface IBar { void bar(); }
public class X<Bar extends IFoo> {
	class Bar implements IBar { public void bar(){} }
	void foo(Bar b) {
		b.foo(); // unbound (Bar is member type)
		b.bar(); // ok
	}
}