You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I would have expected an error in the implementation of passThrough, since a Supplier<@Nullable String> isn't a Supplier<String> (as the Checker Framework knows if I use Supplier<@Nullable String> directly instead of T).
I think this is a result of the code somewhere around here:
I would have expected an error in the implementation of
passThrough
, since aSupplier<@Nullable String>
isn't aSupplier<String>
(as the Checker Framework knows if I useSupplier<@Nullable String>
directly instead ofT
).I think this is a result of the code somewhere around here:
checker-framework/framework/src/main/java/org/checkerframework/framework/type/DefaultTypeHierarchy.java
Line 1023 in 4bd0591
As I understand it, we end up checking
isPrimarySubtype
but not the arguments.I didn't encounter this in "real" code.
The text was updated successfully, but these errors were encountered: