clang-concepts-monorepo

clang-concepts-monorepo copied to clipboard

Terse syntax does not work with lambdas

1

The following translation unit has several problems: ``` template concept one = true; template concept two = true; auto accepts_1 = [](one auto) {}; auto should_reject_1 = [](one auto) {};...

davidstone

range-v3 example doesn't compile

3

https://godbolt.org/z/3KQF-g ``` #include #include #include #include #include #include using std::cout; int main() { using namespace ranges; int sum = accumulate(views::ints(1, unreachable) | views::transform([](int i) { return i * i; })...

PetrKudr

Function pointer from generic lambda

1

``` void test() { void (*func)(auto) = [](auto x) {}; } ``` crashes the compiler after triggering this assert: ``` clang-10: llvm-project/clang/lib/AST/Type.cpp:2056: bool clang::Type::isConstantSizeType() const: Assertion `!isDependentType() && "This doesn't...

DanielBelow

``` template concept Foo = false; Foo auto should_reject_1(Foo auto) { return 'a'; } template Foo auto should_reject_2() { return 'a'; } template F should_reject_3() { return 'a'; } template...

DanielBelow

Small improvements for constrained implicit deduction guides. This fixes the following issues: 1) https://github.com/saarraz/clang-concepts-monorepo/issues/17 2) https://github.com/saarraz/clang-concepts-monorepo/issues/41 3) Crash when loading .pch files with concepts (not in tracker)

PetrKudr

# Motivation Consider ```cpp template concept invocable = requires(F&& f, Args&&... args) { invoke(std::forward(f), std::forward(args)...); }; ``` If a type does not satisfy the above requirement, then a diagnostic like...

cjdb

Concepts ignored in arguments to lambdas

4

https://godbolt.org/z/K0Yk2V In the above example, it appears the concept constraints are not being validated in either lambda expression. I would have expected this example to fail compilation, suggesting that "struct...

EricJMarti

An `auto` parameter makes [[maybe_unused]] ignored on all parameters

1

The following code warns for `f` but not for `g` with `-Wunused-parameter`: ``` void f(int x [[maybe_unused]], auto) { } void g(int x [[maybe_unused]]) { } ``` outputting: ``` :1:12:...

davidstone

P0848R3 is not supported

1

This part of concepts doesn't work: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0848r3.html Both aspects don't work: Clang rejects `Meow` because `std::string` doesn't match the requirements of the first constructor, even though it does match the...

Myriachan

Following code generates ambiguous call error in the recent node of "concepts" branch (c01a40b29a0). But it compiles ok in the version of the compiler explorer (godbolt.org) site ! I do...

sw6ueyz