Remove redundant interpretation rule#8138

Open

tkoeppe wants to merge 1 commit intocplusplus:mainfrom

tkoeppe:redundant

Commits on Aug 1, 2025

[expr.reflect] Delete sentence from "interpretation" list item that is redundant with the next item.
tkoeppe
committed