Do not add annotations that are already on the copied type

eisop / checker-framework

Pluggable type-checking for Java

https://eisop.github.io/

Other

18 stars 18 forks source link

Do not add annotations that are already on the copied type #738

Closed wmdietl closed 5 months ago

wmdietl commented 5 months ago

It is confusing that the annotations from the copied type are added to the copy again. This just redundantly added the annotations to the set again, being a no-op.