https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80796
--- Comment #3 from d25fe0be@ <d25fe0be at outlook dot com> --- Oh, my bad. I did't know about p0433r2, but at least I should have checked n4659 (make_xxx_searcher has already been removed there) before submitting. My apologize. And thanks for pointing out this.