The type of a nested generic method call is the capture of the declared return (Foo<? extends alpha>). 0.6.2 inference rules assert instead that the _uncaptured_ type is a subtype of the target.