IntelliJ has an inspection called Java | Code style issues | Can use bounded wildcard
that is helpful for ensuring that parameter types are permissive as they ought to be. In the screenshot below, the Inspection is warning on the usages of INPUT and OUTPUT, and I'm about to select the auto-fix on OUTPUT.
IntelliJ has an inspection called Java | Abstraction issues | Type may be weakened
which can warn in many locations. Like the previous inspection, it is helpful for ensuring permissive parameter types. Here, inputs
could be a Collection
instead of a List
.