Enable `__cpp_lib_concepts` for EDG, part 1 - #4296

Merged

Stephan T. Lavavej (StephanTLavavej) merged 39 commits into

microsoft:mainfrom

cpplearner:edg-concepts-1

Feb 1, 2024

Commits on Jan 4, 2024

Make `ranges::construct_at` call `std::construct_at` on EDG
S. B. Tam (cpplearner)
committed
72de60e
VSO-1161828 DevCom-10156297 EDGcpfe/23297 REPORTED: EDG: wrong precedence for <=>
S. B. Tam (cpplearner)
committed
75fd274
VSO-1898880 EDGcpfe/26641 EDG fails to handle variable template specializations that differ only in the requires-clause
S. B. Tam (cpplearner)
committed
94b23b8
VSO-1898890 EDGcpfe/26576 EDG produces an error for conversion from array to const reference to pointer
S. B. Tam (cpplearner)
committed
ae5116f
VSO-1898912 EDGcpfe/26535 EDG does not consider single_view<trivially_copy_assignable_type> to be trivially copy-assignable
S. B. Tam (cpplearner)
committed
22b1235
VSO-1898913 EDGcpfe/26534 Befriending an abbreviated function template makes EDG ignore subsequent members
S. B. Tam (cpplearner)
committed
d1d6942
VSO-1898915 EDGcpfe/23896 EDG produces a hard error for can_three_way<bool, int>
S. B. Tam (cpplearner)
committed
d27b9be
VSO-1898929 EDGcpfe/25761 EDG rejects requires-clause in a definition within a function template
S. B. Tam (cpplearner)
committed
ee2f18b
VSO-1898933 EDGcpfe/26745 EDG rejects parenthesized aggregate initialization in a mem-initializer
S. B. Tam (cpplearner)
committed
0f4a9a0
VSO-1898937 EDGcpfe/23985 EDG's __is_convertible_to depends on whether the private members can be accessed in the current context
S. B. Tam (cpplearner)
committed
70ecbd1
VSO-1898939 EDGcpfe/26746 EDG's __is_constructible has wrong value
S. B. Tam (cpplearner)
committed
a269667
VSO-1898941 EDGcpfe/23985 EDG's default_initializable<const T> has wrong value
S. B. Tam (cpplearner)
committed
eb3f1b9
VSO-1898945 EDGcpfe/23985 EDG's default_initializable<AggregatesExplicitDefault> has wrong value
S. B. Tam (cpplearner)
committed
7067fd1
VSO-1898947 EDGcpfe/26747 EDG's std::nullptr_t has relational operators, but it should not
S. B. Tam (cpplearner)
committed
0564fb7
VSO-1898962 EDGcpfe/26750 EDG constexpr dynamic allocations can't handle an array of std::string in debug mode
S. B. Tam (cpplearner)
committed
6959375
VSO-1900279 EDGcpfe/26763 EDG: Conditional explicit specifier is checked too early in constrained constructor
S. B. Tam (cpplearner)
committed
894549c
VSO-1900281 EDGcpfe/26539 EDG: Variable template is instantiated too early
S. B. Tam (cpplearner)
committed
de175b6
VSO-1900290 EDGcpfe/25760 EDG thinks a member does not exist in conditional noexcept with friendship
S. B. Tam (cpplearner)
committed
350387a
VSO-1900293 EDGcpfe/26577 EDG rejects constrained alias template in a pack expansion, when the pack is empty
S. B. Tam (cpplearner)
committed
082225b
VSO-1901430 EDGcpfe/26547 EDG rejects as_const_view with error: atomic constraint depends on itself
S. B. Tam (cpplearner)
committed
743e9fa
P0896R4_views_join: EDG ICE with constant-evaluating std::string in debug mode
S. B. Tam (cpplearner)
committed
8753c4c
P2322R6_ranges_alg_fold: EDG rejects constant-evaluating vector in debug mode
S. B. Tam (cpplearner)
committed
b4afb3a
Make __cpp_lib_concepts not depend on __EDG__
S. B. Tam (cpplearner)
committed
ed64238
Uncomment `/BE` tests
S. B. Tam (cpplearner)
committed
c2f695c
Fix P0898R3_concepts
S. B. Tam (cpplearner)
committed
32f4220

Commits on Jan 5, 2024

Commits on Jan 6, 2024

Commits on Jan 13, 2024

Merge branch 'main' into edg-concepts-1
S. B. Tam (cpplearner)
committed
8bdc2c3