[PATCH] D16163: [Concepts] Diagnose when return type of a function concept or declaration type of a variable concept is not bool.
Nathan Wilson via cfe-commits
cfe-commits at lists.llvm.org
Wed Jan 13 16:08:11 PST 2016
nwilson created this revision.
nwilson added reviewers: rsmith, faisalv, hubert.reinterpretcast, aaron.ballman.
nwilson added a subscriber: cfe-commits.
Adding checks and diagnostics which fall under Concepts TS[dcl.spec.concept]p5:
function concepts are required to have 'bool' return type.
Adding checks and diagnostics which fall under Concepts TS[dcl.spec.concept]p6:
variable concepts are required to have 'bool' declaration type.
Remove a test in Parser which caused a regression due to the new checks.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 4742 bytes
Desc: not available
More information about the cfe-commits