@cppnow @zygoloid @chandlerc1024 @zygoloid Out of curiosity, the discussion in part 2 around type equality makes me wonder if there's a principled way to avoid IFNDR in situations like this eel.is/c++draft/temp.… (example in the note below)? May be non-trivial to fit in the C++ context, admittedly.