clang-concepts-monorepo

clang-concepts-monorepo copied to clipboard

``` template struct is_same { static constexpr bool Value = false; }; template struct is_same { static constexpr bool Value = true; }; template concept IsInt = is_same::Value; template concept...

PetrKudr

this code generates `error : cannot yet mangle expression type ImplicitCastExpr` ~~~ template< bool _ = []( int n, int m ) constexpr { return n < m; }( 1,...

sw6ueyz

Constraint not considered a constant expression in inherited constructor

3

I'm not sure whether this is intended or not, so I'm just putting it out here. https://godbolt.org/z/Xbx832 ```C++ template struct X_base { X_base(int) requires B { } }; struct X...

JohelEGP

Concept definitions with unexpanded variadic template parameters evaluate to true

1

``` template int c = 1; template concept c_wrapper = c; static_assert(c_wrapper); static_assert(c_wrapper); static_assert(c_wrapper); static_assert(c_wrapper); ``` This fails to diagnose the unexpanded parameter pack `Ts` in `c_wrapper`. Instead, it seems...

davidstone

auto type deduction

2

Maybe my understanding of concepts is not good enough, but I'm having this issue. https://godbolt.org/z/ThKZu5 As seen in the example parameter declared as Employee auto && is deduced as Employee...

milos94

Foo.h: ``` template concept ReturnTy = true; template concept MyConcept = requires (T t) { { t.foo } -> ReturnTy; { t.bar } -> int; }; ``` Foo.cpp: ``` #include...

DanielBelow

ICE parsing deduction guide for class template with constrained constructor

1

This well-formed TU: ```c++ template concept C = true; template struct S { template S(U) {} }; template S(T&) -> S; ``` [ICEs the compiler](https://godbolt.org/z/GItoyo) with diagnostics (from my local...

CaseyCarter

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

2

The following code: ``` struct s { int x; }; decltype(s()) f(); auto x = (f()).x; ``` Gives the following assertion failure: ``` clang-10: /home/david/llvm-concepts/clang/lib/Sema/SemaExprMember.cpp:510: clang::ExprResult clang::Sema::ActOnDependentMemberExpr(clang::Expr *, clang::QualType, bool,...

davidstone

crash

1

https://godbolt.org/z/YTHrPH

tarno0se

In this well-formed TU (https://godbolt.org/z/EzMFaM): ```c++ template concept same_as = __is_same(T, U); template concept C = requires { { T::value } -> same_as; }; struct S { static constexpr int...

CaseyCarter