saar.raz updated this revision to Diff 137907.
saar.raz added a comment.
Fixed crash caused by substitution of pack expansion into non-pack parameters
in constraint expressions.
Updating D41569: Summary:
=
Constraint enforcement and diagnostics
Repository:
rC Clang
saar.raz updated this revision to Diff 132576.
saar.raz added a comment.
- When a conjunction constraint expression has both sides false, both sides
will now be diagnosed.
Updating D41569: Summary:
=
Constraint enforcement and diagnostics
Repository:
rC Clang
https:
saar.raz updated this revision to Diff 129306.
saar.raz added a comment.
- Better handling of diagnostics in ConceptSpecializationExprs, correctly
written to and read from module files.
- Modified Error messages according to some user feedback
Updating D41569: Summary:
=
saar.raz created this revision.
saar.raz added reviewers: hubert.reinterpretcast, rsmith, nwilson, changyu,
faisalv.
Herald added a subscriber: cfe-commits.
- Associated constraints (requires clauses, currently) are now enforced when
instantiating/specializing templates and when considering part
