Filing to track https://github.com/rust-lang/reference/pull/1401/files#r1363998785 cc @joshtriplett