Compare proposed template instantiation with existing template instantiation. Note that this is not commutative because of the auto ref check.
existing template instantiation
true for match
Compare proposed template instantiation with existing template instantiation. Note that this is not commutative because of the auto ref check.