On 4/29/20 2:50 PM, Nathan Sidwell wrote:
Jason,this is the patch you suggested, as I understood it. I kept finish_nested_require's saving of the (converted) current_template_parms, becase of the comment about use in diagnostics.
this extended test that tries to call the function ices with the patch. So not there yet.
nathan -- Nathan Sidwell
template <typename T, bool = requires { requires (sizeof(T)==1); } > void foo(T) {} int main() { foo('4'); }