David Stone comments

Results 19 comments of


                                            David Stone

Concepts ignored in arguments to lambdas

Note that it is specific to the terse syntax -- the following code is correctly rejected: ``` auto lambda = [](auto) requires false {}; int main() { lambda(1); } ```

Concepts ignored in arguments to lambdas

Confirmed that this is fixed.

Please add flag -fconcepts

It would be even nicer if `-fconcepts` and `-fconcepts-ts` were both ignored and this branch just accepted code with concepts without needing any special flags. Why is this behind a...

Concept definitions with unexpanded variadic template parameters evaluate to true

I'm not sure what the correct behavior is here, by the way: diagnosing the unexpanded pack or treating the concept as always false.

Assertion failure with member access of result of function declared with decltype(expr) return type

Here is a simpler reproduction: ``` struct s { int x; }; decltype(s()) f(); int x = f().x; ``` ``` clang-10: /home/david/llvm-concepts/clang/lib/Sema/SemaExprMember.cpp:510: clang::ExprResult clang::Sema::ActOnDependentMemberExpr(clang::Expr *, clang::QualType, bool, clang::SourceLocation, const clang::CXXScopeSpec...

David Stone

Concepts ignored in arguments to lambdas

Concepts ignored in arguments to lambdas

Please add flag -fconcepts

Concept definitions with unexpanded variadic template parameters evaluate to true

Assertion failure with member access of result of function declared with decltype(expr) return type

Assertion failure with member access of result of function declared with decltype(expr) return type

crash

No sprites for trainers on "my" side of the battle

Rejoining a battle shows HP as though you were the opponent