https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80059
--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> --- Yes. Judging by the comment before fold_non_dependent_expr (which I wrote myself ;) it seems we could use instantiate_non_dependent_expr_sfinae (cond, tf_none) instead?
