Closed
Description
Tactics currently will currently use the data constructor function to build records, but it would be nice to have support to build it in the record syntax. Bonus points to expose it as a code action.
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests