Skip to content

Clang accepts constraints not satisfied void return type #49188

@llvmbot

Description

@llvmbot
Bugzilla Link 49844
Version 11.0
OS All
Reporter LLVM Bugzilla Contributor
CC @zygoloid

Extended Description

https://godbolt.org/z/YET98jcEW

template <class> concept C = false;

int main() {
  []() -> C auto {}();
}

clang accepts it.

Metadata

Metadata

Assignees

Labels

bugzillaIssues migrated from bugzillac++20clang:frontendLanguage frontend issues, e.g. anything involving "Sema"conceptsC++20 concepts

Type

No type

Projects

Status

No status

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions