bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Do not require const predicates to hold when checking if a projection type is wf

Browse source
This commit is contained in:
Deadbeef 2022-08-28 04:02:43 +00:00
parent 4b539b04a6
commit 4231661789
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_trait_selection/src/traits/wf.rs
View file

@ -392,7 +392,8 @@ impl<'tcx> WfPredicates<'tcx> {
// `i32: Clone` // `i32: Clone`
// `i32: Copy` // `i32: Copy`
// ] // ]
let obligations = self.nominal_obligations(data.item_def_id, data.substs); // Projection types do not require const predicates.
let obligations = self.nominal_obligations_without_const(data.item_def_id, data.substs);
self.out.extend(obligations); self.out.extend(obligations);
let tcx = self.tcx(); let tcx = self.tcx();