bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Require foldability part of interner item bounds, remove redundant where clauses

Browse source
This commit is contained in:
Michael Goulet 2024-03-28 12:17:17 -04:00
parent 08c7ff2264
commit 6439c7fe23
3 changed files with 20 additions and 49 deletions
Download patch file Download diff file Expand all files Collapse all files

10
compiler/rustc_next_trait_solver/src/canonicalizer.rs
View file

@ -296,10 +296,7 @@ impl<Infcx: InferCtxtLike<Interner = I>, I: Interner> TypeFolder<I>
Region::new_anon_bound(self.interner(), self.binder_index, var)
}
fn fold_ty(&mut self, t: I::Ty) -> I::Ty
where
I::Ty: TypeSuperFoldable<I>,
{
fn fold_ty(&mut self, t: I::Ty) -> I::Ty {
let kind = match t.kind() {
ty::Infer(i) => match i {
ty::TyVar(vid) => {
@ -378,10 +375,7 @@ impl<Infcx: InferCtxtLike<Interner = I>, I: Interner> TypeFolder<I>
Ty::new_anon_bound(self.interner(), self.binder_index, var)
}
fn fold_const(&mut self, c: I::Const) -> I::Const
where
I::Const: TypeSuperFoldable<I>,
{
fn fold_const(&mut self, c: I::Const) -> I::Const {
// We could canonicalize all consts with static types, but the only ones we
// *really* need to worry about are the ones that we end up putting into `CanonicalVarKind`
// since canonical vars can't reference other canonical vars.