Replace a mk_ty call with mk_bound.

This commit is contained in:
Nicholas Nethercote 2023-02-20 09:52:58 +11:00
parent 2200911616
commit a980683d1f

View File

@ -2810,7 +2810,7 @@ pub fn res_to_ty(
var: ty::BoundVar::from_u32(index), var: ty::BoundVar::from_u32(index),
kind: ty::BoundTyKind::Param(def_id, name), kind: ty::BoundTyKind::Param(def_id, name),
}; };
tcx.mk_ty(ty::Bound(debruijn, br)) tcx.mk_bound(debruijn, br)
} }
Some(rbv::ResolvedArg::EarlyBound(_)) => { Some(rbv::ResolvedArg::EarlyBound(_)) => {
let def_id = def_id.expect_local(); let def_id = def_id.expect_local();