Filing this as a keep-sake for discussion in https://github.com/rust-lang/rust/pull/64250#discussion_r321970321. cc @Xanewok