Fixed another SpecializedConcept reference to NamedConcept.
Mar 15 2018
Fixed SpecializedConcept reference to NamedConcept.
Adjusted to changes in D41217
Fixed reference to TemplateParams member in assertion.
Mar 14 2018
Applied missing clang-format.
Addressed most comments.
Mar 10 2018
- Correct handling of non-substitutable concept specialization expressions.
Fixed crash caused by substitution of pack expansion into non-pack parameters in constraint expressions.
- Fixed incorrect checking of atomic constraint types.
Feb 15 2018
Feb 11 2018
- Addressed comments: Added semantic tests for value and template concepts, removed extra period and modified CSE ctor to fit in nicer.
Feb 3 2018
Moved function into SemaConcept.cpp.
- Moved general concepts-related function into SemaConcept.cpp
Feb 2 2018
- When a conjunction constraint expression has both sides false, both sides will now be diagnosed.
Jan 10 2018
- Better handling of diagnostics in ConceptSpecializationExprs, correctly written to and read from module files.
- Modified Error messages according to some user feedback
- Fixed wrong if that would cause valid instantiated requires clauses to not be accepted.
Dec 24 2017
Reverted to original constraint parsing code.
Dec 17 2017
Dec 15 2017
- Added requires clause matching for all kinds of template redeclarations instead of just classes.
Dec 14 2017
Previous updated diff mistakenly included D40381, fixed that.
- Fixed indentation problems
Dec 13 2017
Nov 26 2017
Do the requested clang-formatting as shown by hubert, other than that looks good to me :)