search

opprop / checker-framework-inference

Inference of pluggable types for Java
6 stars 13 forks source link

Add non-reporting version of mainIsSubtype #411

Closed AndrewShf closed 1 year ago

AndrewShf commented 1 year ago

co-authored-by:

AndrewShf commented 1 year ago

how to do the adapted subtype check in a way that is compatible with current isValidUse

I see in universe, isValidUse simply returns true. Maybe in pico, i can also change return isAdaptedSubtype() to isAdaptedSubtype(); return true;

i'll address this pr when pico can be compiled again.

AndrewShf commented 1 year ago

Solved the compilation issues without using the non-reporting version of mainIsSubtype.