Maybe, but:(1) annotations are user-hostile even in a language like Rust, wherefore type-and-lifetime inference, which you are not proposing.
(2) we need a sane default, if not inference. /be _______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss

