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

Published 20 hours ago • verified publisher icon JetBrains

Unused local variable/binding

Open ice1000 opened this issue 4 years ago • 1 comments

If a local let binding is unused, we may ask the user to remove it. If a local binding is unused, we may ask the user to rename it to _.

ice1000 avatar Mar 24 '20 06:03 ice1000