§2.2.(f) Ambiguous lowering

When assigning a value of a bound role type to a variable or argument of type java.lang.Object this situation is considered as ambiguous lowering because the assignment could apply either (a) a direct upcast to Object or (b) lowering and then upcasting. In such situations the compiler will not insert a lowering translation, but a configurable warning will be issued.