Magnus, good to see you here!
I think this idea sounds neat, but I'm not really able to judge if it's technically a good idea or not. Seems mega useful though. _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
