Description Tim Hanson 2005-08-22 19:46:56 EDT

The 3.1 compiler complains about the invocation of erasure claiming the
invocation is ambiguous. This isn't possible since the method must be an override.

import java.lang.reflect.Type;

interface Navigator<TypeT> {
	<T> TypeT erasure(TypeT x);
}

class ReflectionNavigator implements Navigator<Type> {
	public <T> Class<T> erasure(Type t) { return null; }
}

class Usage {
	public void foo(ReflectionNavigator r, Type t) {
		r.erasure(t);
	}
}