From a0856583f503af19615540bedc94c05073ff4537 Mon Sep 17 00:00:00 2001 From: Hewill Kang Date: Thu, 15 May 2025 10:14:20 +0800 Subject: [PATCH] Add code font --- xml/issue4256.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xml/issue4256.xml b/xml/issue4256.xml index 6fcc9dc0db..51b1dded28 100644 --- a/xml/issue4256.xml +++ b/xml/issue4256.xml @@ -21,7 +21,7 @@ struct M

The constructor of function_ref<void()> from nontype_t is considered to be valid candidate -(is_constructible_v<function_ref<void()>, nontype_t<M{}>> is true), +(is_constructible_v<function_ref<void()>, nontype_t<M{}>> is true), despite the fact that the corresponding invocation of template argument object, that is const lvalue, is ill-formed. As consequence we produce hard error from inside of this constructor.