Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [Concepts] Transform constraints of non-template functions to ConstantEvaluated | Saar Raz | 2020-01-25 | 1 | -12/+48 |
| | | | | | | | | | | We would previously try to evaluate atomic constraints of non-template functions as-is, and since they are now unevaluated at first, this would cause incorrect evaluation (bugs #44657, #44656). Substitute into atomic constraints of non-template functions as we would atomic constraints of template functions, in order to rebuild the expressions in a constant-evaluated context. (cherry picked from commit 713562f54858f10bf8998ee21ff2c7e7bad0d177) | ||||
* | [Concepts] Make constraint expressions unevaluated until satisfaction checking | Saar Raz | 2020-01-24 | 1 | -0/+17 |
As per P1980R0, constraint expressions are unevaluated operands, and their constituent atomic constraints only become constant evaluated during satisfaction checking. Change the evaluation context during parsing and instantiation of constraints to unevaluated. (cherry picked from commit 73eaf62463b4a29adf4194685af12d1a5d172987) |