We currently do some extensive special-casing in TypeInferenceBuilder::infer_call_expression_impl, much of which dates back to working around limitations we no longer have, and can/should now be removed. Part of this special-casing is a dedicated path for constructor calls (Type::try_call_constructor), which doesn't use the bindings that would be returned by Type::bindings for the same type -- so it's not consistent with what happens if you use Type::try_call. This leads to bugs like #1446