We need to make sure that local type inference ends up properly invoking the new generic type inference. That way, if a method is inferred to return @Nullable and the result gets assigned to a local, that local gets treated as @Nullable for future dereferences.