Page MenuHomePhabricator

[Concepts] Delayed Constraint Substitution
Needs ReviewPublic

Authored by saar.raz on Apr 20 2019, 5:14 PM.

Details

Reviewers
rsmith
Summary

Constraint expressions will now not be substituted into when instantiating constrained declarations, and all substitution will be delayed to when satisfaction or subsumption have to be determined. Also, when explicitly instantiating a class template specialization, members whose constraints are not satisfied will not be instantiated. Depends on D50360.

Diff Detail

Event Timeline

saar.raz created this revision.Apr 20 2019, 5:14 PM
Herald added a project: Restricted Project. · View Herald TranscriptApr 20 2019, 5:14 PM
saar.raz updated this revision to Diff 203734.Jun 9 2019, 6:36 AM

Removed support for outdated grammar (adjusting to previous patches)

saar.raz updated this revision to Diff 204869.Jun 14 2019, 3:44 PM

Only include template parameters that occur in the atomic constraint in the parameter mapping

saar.raz updated this revision to Diff 204952.Jun 16 2019, 9:26 AM

Do not instantiate lambda expression trailing requires clause