The program is guaranteed to output A1 because a normal conversion function can have a deduced return type (only conversion function templates are not allowed so due to [class.conv.fct]: A conversion ...

Learn more about: Tracking Reference Operator (C++/CLI and C++/CX) Tracking Reference Operator (C++/CLI and C++/CX) A tracking reference has the following characteristics. Assignment of an object to a ...