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

Published 20 hours ago • verified publisher icon JetBrains

Intentions are not working properly for goals with arguments

Open knisht opened this issue 3 years ago • 1 comments

At least, "Replace with constructors" is among them. Peek 2021-09-11 22-29

knisht avatar Sep 11 '21 19:09 knisht

Probably a duplicate of #299.

valis avatar Sep 11 '21 19:09 valis