Type can be weakened (e.g. use Collection instead of List here). Generalization of ConcreteCollectionCheck

[Luro02]

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:

• variable declaration: local, parameter, field
• return value (might be tricky to implement, but could be worth it)

Lint Name

TYPE_CAN_BE_WEAKENED

Category

oop

Example

<code>

Could be written as:

<code>