Distinguish appending and replacing self ty in predicates

This commit is contained in:
Michael Goulet 2025-07-30 17:48:24 +00:00
parent 86ff11e729
commit 7d662eeb93

View file

@ -417,7 +417,7 @@ fn replace_types<'tcx>(
{
let projection = projection_predicate
.projection_term
.with_self_ty(cx.tcx, new_ty)
.with_replaced_self_ty(cx.tcx, new_ty)
.expect_ty(cx.tcx)
.to_ty(cx.tcx);