jayfoad wrote: > Replacing `sanity` with `sound`, as in `sound of mind`, a _direct synonym_ > with the exact same connotation. > > Seems like it'd do more harm than good.
I don't buy that argument at all. "Sound" has plenty of uses. It does not imply "sound of mind". https://github.com/llvm/llvm-project/pull/156995 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
