I know it was discussed before and you disagree, but since you say it’s either the current design or reversed subtyping: there’s also the option to have no subtyping at all (or not yet), have extension methods for both conversions, and convert literals to named tuples by expected type.
It could be less of an irregularity in the context of Pre-SIP: a syntax for aggregate literals.