Commit 2024-10-08 09:48 a0c5ecc2
View on Github →feat(Tactic/Linter): the ppRoundtrip linter (#15535) This linter tries to make sure that the source code looks like the pretty printed version of itself. It is not intended to be always active, since not every pretty-printed syntax is desirable or type-correct!