tpl_method_overload.output.txt

>>> c.AddConstraint(e_a).GetName()
compile-time { Binding<Constraint> }, run-time { Binding<AConstraint> }

>>> c.AddConstraint(e_b).GetName()
compile-time { Binding<Constraint> }, run-time { Binding<BConstraint> }

>>> c.AddConstraint<AConstraint>(e_a).GetName()
compile-time { Binding<AConstraint> }, run-time { Binding<AConstraint> }

>>> c.AddConstraint<BConstraint>(e_b).GetName()
Specialized B
compile-time { Binding<BConstraint> }, run-time { Binding<BConstraint> }