https://www.youtube.com/watch?v=U3jGdnRL3KIHidden in the Library fundamentals Technical Specification, there is a section called "Detection idiom". The specification doesn't really say what it is for, and it has not received a lot of notice.
That's a shame. This is an amazingly powerful method for distinguishing between kinds of types. Writing SFINAE constraints is tedious and confusing, and this makes it much easier to do.
This session will introduce the detection idiom, walk through how it works, and then give examples on how to use it.