If I understand correctly, the "ghosts" are *vacuously* UB. As in, the standard ...

		Sharlin 5 months ago \| parent \| context \| favorite \| on: Undefined Behavior in C and C++ (2024) If I understand correctly, the "ghosts" are vacuously UB. As in, the standard specifies that if X, then UB, but X can in fact never be true according to the standard.