Java 11 inspections - Githubissues

JetBrains / Arend

The Arend Proof Assistant

https://arend-lang.github.io/

Apache License 2.0

694 stars 33 forks source link

Closed ice1000 closed 4 years ago

ice1000 commented 4 years ago

In this PR, only d615a11 is interesting. Here's the changes:

For local variable declaration with raw use of generic class, I replaced them with var to avoid the warning
Some unnecessary generic arguments are removed
Make use of Object.equals and Optional::isEmpty and String::repeat