Fixed inference between type placeholders with non-string constraints in template literal types

Fixed inference between type placeholders with non-string constraints in template literal types #23854