You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
At least a subset of the pragmalike comments that are currently exempt from the "space after //" check are actually ones that must not have the space or they don't work properly at all, and even for ones that do work with the space, it's a widespread convention to not have the space in comments that are intended for machines to read.
Improving comment checker to not only ignore the "missing" space in them to actually flag an error if there are spaces there would be nice.
I think at least all //go:, //nolint, //+ should have this treatment, probably a bunch of others as well.
The text was updated successfully, but these errors were encountered:
At least a subset of the pragmalike comments that are currently exempt from the "space after //" check are actually ones that must not have the space or they don't work properly at all, and even for ones that do work with the space, it's a widespread convention to not have the space in comments that are intended for machines to read.
Improving comment checker to not only ignore the "missing" space in them to actually flag an error if there are spaces there would be nice.
I think at least all
//go:
,//nolint
,//+
should have this treatment, probably a bunch of others as well.The text was updated successfully, but these errors were encountered: