mkString fixes (mostly moved from the multi-decl overhaul)#714

Merged

mattmccutchen-cci merged 8 commits intomainfrom mkstring-fixes

Oct 6, 2021

+79-94

Commits on Sep 28, 2021

mkString fixes that were previously part of the multi-decl overhaul.
mattmccutchen-cci
committed
Bonus fix: Avoid an extra space after a return type ending in *.
mattmccutchen-cci
committed

Commits on Sep 29, 2021

Remove a comment now that John has filed an issue for follow-up.
mattmccutchen-cci
committed
Update the comment in mkString to reflect that we're planning to accept
mattmccutchen-cci
committed

Commits on Oct 1, 2021

mkString simplifications.
mattmccutchen-cci
committed

Commits on Oct 2, 2021

Commits on Oct 5, 2021

Improve the ConstraintVariable::mkString comment a bit.
mattmccutchen-cci
committed