LWG-4366 Heterogeneous comparison of expected may be ill-formed

As @frederick-vs-ja noted in #5837 (comment) , we should implement part of this downlevel, even though the other part patches #4522.