9e9d98aaf5
Prior to this patch, during constraint normalization we could forget from which declaration an atomic constraint was normalized from. Subsequently when performing parameter mapping substitution for that atomic constraint with an incorrect context, we couldn't correctly recognize which declarations are supposed to be visible. Fixes #60336
45 lines
1.0 KiB
C++
45 lines
1.0 KiB
C++
// RUN: rm -rf %t
|
|
// RUN: %clang_cc1 -x c++ -std=c++20 %s -verify -fmodules -fmodules-cache-path=%t
|
|
// expected-no-diagnostics
|
|
|
|
#pragma clang module build std
|
|
module std {
|
|
module concepts {}
|
|
module functional {}
|
|
}
|
|
#pragma clang module contents
|
|
#pragma clang module begin std
|
|
|
|
template <class _Tp> struct common_reference {
|
|
using type = _Tp;
|
|
};
|
|
|
|
#pragma clang module end
|
|
#pragma clang module begin std.concepts
|
|
#pragma clang module import std
|
|
|
|
template <class _Tp>
|
|
concept same_as = __is_same(_Tp, _Tp);
|
|
|
|
template <class _Tp>
|
|
concept common_reference_with =
|
|
same_as<typename common_reference<_Tp>::type>;
|
|
|
|
#pragma clang module end
|
|
#pragma clang module begin std.functional
|
|
#pragma clang module import std.concepts
|
|
|
|
template <class, class _Ip>
|
|
concept sentinel_for = common_reference_with<_Ip>;
|
|
|
|
constexpr bool ntsf_subsumes_sf(sentinel_for<char *> auto)
|
|
requires true
|
|
{
|
|
return true;
|
|
}
|
|
bool ntsf_subsumes_sf(sentinel_for<char *> auto);
|
|
static_assert(ntsf_subsumes_sf(""));
|
|
|
|
#pragma clang module end
|
|
#pragma clang module endbuild
|