I don't think it's so simple. Reminds me of cplusplus.github.io/CWG/issues/1244.html (1) talks about equivalence of types, not equivalence of templates, so it doesn't automatically bless OP's code.
↧