search

typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

add check for anonymous #34

Closed Jianchu closed 8 years ago

Jianchu commented 8 years ago

For anonymous class, it's type should same as the instantiated type.

wmdietl commented 8 years ago

I gave some comments in the other repo.

Jianchu commented 8 years ago

I have updated the commit.