S. B. Tam

I think https://webidl.spec.whatwg.org/#es-promise means that conversion from ECMAScript value `V` to an IDL `Promise` value effectively performs `new Promise((resolve, reject) => resolve(V))`. So yes, non-Promises should be accepted.

+1

/pr review

I got the same error with the `std/utilities/format/format.functions/escaped_output.ascii.pass.cpp` test. ``` stl-lit.py: D:\STL\tests\utils\stl\test\format.py:250: error: UnicodeDecodeError('gbk', b"Assertion failure: out == expected D:\\STL\\llvm-project\\libcxx\\test\\std\\utilities\\format\\format.functions\\escaped_output.ascii.pass.cpp 46\r\n\r\nFormat string {:?}\r\nExpected output '\x80'\r\nActual output '\\x{80}'\r\nabort() has been called",...

Here are issues discovered when compiling the [`P0896R4_ranges_iterator_machinery`](https://github.com/microsoft/STL/blob/f362f7d7bea87bd199c927a89718e929ed89b187/tests/std/tests/P0896R4_ranges_iterator_machinery/test.cpp) test (all of them are rejects-valid): 1. EDG fails to handle variable template specializations that differ only in the *requires-clause*. :white_check_mark: Reported...

Issues discovered when compiling the [`P0896R4_views_iota`](https://github.com/microsoft/STL/blob/f362f7d7bea87bd199c927a89718e929ed89b187/tests/std/tests/P0896R4_views_iota/test.cpp) test: 1. EDG thinks the precedence of `` operator is between the precedence of ` 0; // error: no operator ">" matches these operands...

[`P0896R4_views_single`](https://github.com/microsoft/STL/blob/f362f7d7bea87bd199c927a89718e929ed89b187/tests/std/tests/P0896R4_views_single/test.cpp): EDG does not consider `single_view` to be trivially copy-assignable. :white_check_mark: Reported as VSO-1898912. Reduced ```c++ #include template struct box { box& operator=(const box&) requires Trivial = default; constexpr box&...

[`P0896R4_views_common`](https://github.com/microsoft/STL/blob/f362f7d7bea87bd199c927a89718e929ed89b187/tests/std/tests/P0896R4_views_common/test.cpp): Befriending an abbreviated function template makes EDG ignore subsequent members. (This affects `difference_type_only_iterator` in the test.) :white_check_mark: Reported as VSO-1898913. Reduced ```c++ template struct test_type { friend constexpr void...

[`P0896R4_P1614R2_comparisons`](https://github.com/microsoft/STL/blob/f362f7d7bea87bd199c927a89718e929ed89b187/tests/std/tests/P0896R4_P1614R2_comparisons/test.cpp): EDG produces a hard error for `can_three_way`. :white_check_mark: Reported as VSO-1898915. Reduced ```c++ #include template concept can_three_way = requires(T const& t, U const& u) { t u; // //...

[`test_mdspan_support.hpp`](https://github.com/microsoft/STL/blob/f362f7d7bea87bd199c927a89718e929ed89b187/tests/std/include/test_mdspan_support.hpp): EDG needs `typename` in the parameter list of a requires-expression. :white_check_mark: Already reported as DevCom-10436970 VSO-1868335 on 2023-08-09. Reduced ```c++ template auto x = requires(T::ty x) { x; };...