https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107085
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |INVALID
Status|UNCONFIRMED |RESOLVED
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
#include <type_traits>
using namespace std;
struct Base {};
struct Derived : Base {};
static_assert( conjunction_v<is_reference<Base&>, is_constructible<Base&,
Derived>> );
This fails (as expected) and so the reference_constructs_from_temporary is
required to be false.