> I think it is UB rather than a bug. The spec says that return > types must match exactly. AFAIK auto is a feature to infer > return type, not to magically adjust to multiple incompatible > types. But i thought Variant is one. ;)