It should do what the IntelliJ lint does, detect code segments where one can use an interface (or superclass?) instead of the current type, because the code does not use any of the concrete types.
Locations where this might be done:
variable declaration: local, parameter, field
return value (might be tricky to implement, but could be worth it)
What it does
It should do what the IntelliJ lint does, detect code segments where one can use an interface (or superclass?) instead of the current type, because the code does not use any of the concrete types.
Locations where this might be done:
Lint Name
TYPE_CAN_BE_WEAKENED
Category
oop
Example
Could be written as: