Set var arg type before calling `viewpointAdaptConstructor` - Githubissues

eisop / checker-framework

Pluggable type-checking for Java

https://eisop.github.io/

Other

15 stars 16 forks source link

Set var arg type before calling `viewpointAdaptConstructor` #783

Closed Ao-senXiong closed 1 week ago

Ao-senXiong commented 3 weeks ago

Fixes #777

Ao-senXiong commented 2 weeks ago

Submitted a new issue for error key coverage #789 .