Return false if validation fails in `commonAssignmentCheck`

eisop / checker-framework

Pluggable type-checking for Java

https://eisop.github.io/

Other

18 stars 18 forks source link

Return false if validation fails in `commonAssignmentCheck` #736

Open Ao-senXiong opened 5 months ago

wmdietl commented 5 months ago

Is any code actually using the returned value of commonAssignmentCheck and checkArrayInitialization? Can you look whether any subclasses actually use the result? If there is a use, can you write a test case that fails before this change?