S. B. Tam

[`P0898R3_concepts`](https://github.com/microsoft/STL/blob/f362f7d7bea87bd199c927a89718e929ed89b187/tests/std/tests/P0898R3_concepts/test.cpp): 1. EDG's `__is_convertible_to` depends on whether the private members can be accessed in the current context. :white_check_mark: Reported as VSO-1898937. Reduced ```c++ template concept converts_to = __is_convertible_to(D*, B*); struct...

[`P0009R18_mdspan_mdspan`](https://github.com/microsoft/STL/blob/main/tests/std/tests/P0009R18_mdspan_mdspan/test.cpp): 1. Default member initializer is instantiated too eagerly when there's a `noexcept` defaulted default constructor. :white_check_mark: Reported as VSO-1900276. Reduced ```c++ template struct Mdspan_accessor_base { Mdspan_accessor_base() noexcept = default;...

[`Dev11_0437519_container_requirements`](https://github.com/microsoft/STL/blob/main/tests/std/tests/Dev11_0437519_container_requirements/test.compile.pass.cpp): EDG thinks a member does not exist when: - the enclosing class template is instantiated in an explicit template specialization, and - the member is used in the noexcept-specifier...

`P2278R4_views_as_const`: 1. EDG complains about concept depending on itself. :x: @StephanTLavavej can't repro with VS 2022 17.8 Preview 3 x64, or prod/fe x86chk on 2023-10-11. Reduced This is similar to...

EDG on [godbolt](https://godbolt.org/z/Yz9Yh95ME) fails to compile the LLVM-62096 test case, but `cl /BE` works. Maybe it's actually a different bug. Actually `cl /BE` rejects this, reduced from [`P2278R4_views_as_const`](https://github.com/microsoft/STL/blob/f362f7d7bea87bd199c927a89718e929ed89b187/tests/std/tests/P2278R4_views_as_const/test.cpp): :white_check_mark: Reported...

> - [VSO-1900291](https://devdiv.visualstudio.com/DevDiv/_workitems/edit/1900291) EDGcpfe/26751 EDG ICE involving pointer arithmetic > - EDG can repro a spurious error here, but not the ICE that repros in VS. They hope that it's...

> - [VSO-1900292](https://devdiv.visualstudio.com/DevDiv/_workitems/edit/1900292) EDG fails to handle a requires-clause that involves a local type alias This is fixed, but now EDG produces a wrong value for such a *requires-clause* (`false`...

`generator`: EDG instantiates the wrong overload of `promise_type::operator new`. Partially reduced The use of `coroutine_handle::from_promise` seems to matter. Removing it makes the error disappear. ```c++ #include using namespace std; struct...

With #4133 merged, now the message is much shorter ``` Microsoft (R) C/C++ Optimizing Compiler Version 19.39.33218 for x64 Copyright (C) Microsoft Corporation. All rights reserved. test-format.cpp stl/inc\format(3690): error C2338:...

This is LWG-3831. Also GH-3166