However, that might be hard because of how ADL works. The biggest practical problem with ADL is not that it sometimes finds unexpected best-matches (although that is a minor problem). The biggest problem is that it looks for them in the first place. The lookup is the thing that can trigger hard un-SFINAE-able errors.