intellij-arend icon indicating copy to clipboard operation
intellij-arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

New inspection: Redundant parameter name

Open marat-rkh opened this issue 3 years ago • 1 comments

Consider a declaration:

Screen Shot 2021-08-15 at 2 02 36 PM

Parameter name d is redundant here and can be replaced with _. This could simplify the declaration and improve readability as _ stresses the fact that there is no dependencies on the parameter in the signature.

IDE could have an inspection that detects such cases and suggest the replacement.

marat-rkh avatar Aug 15 '21 11:08 marat-rkh

Same could be done for names in clauses:

Screen Shot 2021-08-15 at 2 56 54 PM

marat-rkh avatar Aug 15 '21 11:08 marat-rkh