(Also filed a bug against the rust type checker in the process: https://github.com/rust-lang/rust/issues/46061)