LLVM Bugzilla is read-only and represents the historical archive of all LLVM issues filled before November 26, 2021. Use github to submit LLVM bugs

Bug 49841 - Clang accepts constraint mismatch at argument in template parameter-list
Summary: Clang accepts constraint mismatch at argument in template parameter-list
Status: NEW
Alias: None
Product: clang
Classification: Unclassified
Component: C++2a (show other bugs)
Version: trunk
Hardware: PC All
: P enhancement
Assignee: Unassigned Clang Bugs
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2021-04-05 07:17 PDT by 康桓瑋(hewill)
Modified: 2021-04-05 07:17 PDT (History)
4 users (show)

See Also:
Fixed By Commit(s):

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description 康桓瑋(hewill) 2021-04-05 07:17:16 PDT 
https://godbolt.org/z/vf3Gn5hTK

#include <concepts>

template <std::signed_integral>
struct A {};

template <template <std::integral> typename>
struct B {};

B<A> b;

clang accepts it.