For the subcase where the literals are all members of a same overarching type (like your "MyRange" example), there has been some experimentation in this directi

For the subcase where the literals are all members of a same overarching type (like your "MyRange" example), there has been some experimentation in this direction in Rust: https://github.com/rust-lang/rust/pull/107606 https://github.com/rust-lang/rust/pull/107606