]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #90423 - Aaron1011:deduplicate-projection, r=jackh726
authorbors <bors@rust-lang.org>
Sun, 12 Dec 2021 11:24:20 +0000 (11:24 +0000)
committerbors <bors@rust-lang.org>
Sun, 12 Dec 2021 11:24:20 +0000 (11:24 +0000)
commit4c9bdf4cbbf1deab0b5da398d4910558a66b332f
treee4fbffd7c9d800a4bbe9cfbdcbb0778c85bbe2d0
parenta0a4c7d1e48c39a73119eb9107d402d60c83293b
parent39d44e72ca2ef82ea294f64e7ef3db23b4fdfd04
Auto merge of #90423 - Aaron1011:deduplicate-projection, r=jackh726

Deduplicate projection sub-obligations
compiler/rustc_trait_selection/src/traits/project.rs