farzonl wrote: redundant is not the right word here. Irrelevant or not necessary makes more sense in this context.
https://github.com/llvm/llvm-project/pull/123853 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
