See: https://doc.rust-lang.org/nightly/nightly-rustc/src/rustc/ty/util.rs.html#1045 <!-- TRIAGEBOT_START --> <!-- TRIAGEBOT_ASSIGN_START --> This issue has been assigned to @mbStavola via [this comment](https://github.com/rust-lang/rust/issues/65259#issuecomment-540370893). <!-- TRIAGEBOT_ASSIGN_DATA_START$${"user":"mbStavola"}$$TRIAGEBOT_ASSIGN_DATA_END --> <!-- TRIAGEBOT_ASSIGN_END --> <!-- TRIAGEBOT_END -->
See: https://doc.rust-lang.org/nightly/nightly-rustc/src/rustc/ty/util.rs.html#1045
This issue has been assigned to @mbStavola via this comment.