That's what the well-typed check I mentioned before is, see https://github.com/rust-lang/rust/pull/31474