HomePhabricator

[Concepts] Make constraint expressions unevaluated until satisfaction checking

Authored by saar.raz on Jan 23 2020, 4:22 PM.

Description

[Concepts] Make constraint expressions unevaluated until satisfaction checking

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.

Details

Committed
saar.razJan 23 2020, 4:24 PM
Parents
rG30179d7ecf6a: [Attributor][FIX][Alignment] Do not report a change if there was none
Branches
Unknown
Tags
Unknown