Yes, the
Bar's copy constructor is not SFINAE-friendly. It's the problem of Bar, not of whatever code is interacting with it. I don't really understand the question, since you already know about the immediate context.