> The proposal simply included a provision to turn off hardening, nothing else. (Guessing "the proposal" refers to the hardening proposal?) I don't think that

> The proposal simply included a provision to turn off hardening, nothing else. (Guessing "the proposal" refers to the hardening proposal?) I don't think that is correct since the authors of the hardening proposal agreed that allowing UB for hardened precondition violations was a mistake and that P3878 is a bug fix to their proposal. Presumably the intended way to turn off handling would be to just... not enable the hardened implementation in the first place?