Document: P3822R1
Author: Viacheslav Luchkin, Gašper Ažman
Date: 2026-02-23
Audience: EWG Evolution

R1 extends compound requirements in requires-expressions so you can write { expr } noexcept(constant-expression) instead of cloning whole requires clauses when noexcept checking should depend on a template parameter—basically the same conditional-noexcept story C++11 gave function types, but for compound requirements.

Worth a skim before bikeshedding syntax: P3822R1 on wg21.link and the open-std HTML.