HomePhabricator

[Concepts] Constraint Enforcement & Diagnostics

Authored by saar.raz on Oct 24 2019, 2:09 PM.

Description

[Concepts] Constraint Enforcement & Diagnostics

Part of the C++20 concepts implementation effort.

  • Associated constraints (requires clauses, currently) are now enforced when instantiating/specializing templates and when considering partial specializations and function overloads.
  • Elaborated diagnostics give helpful insight as to why the constraints were not satisfied.

Phabricator: D41569