languages/rust
languages/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust synced 2024-10-06 08:40:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

also remap RPITITs nested in other types back to their opaques

Browse source
This commit is contained in:
Lukas Markeffsky 2024-04-21 18:04:50 +02:00
parent 31a05a227a
commit 5a2b335e49
2 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_hir_analysis/src/collect/item_bounds.rs
View file

@ -4,7 +4,7 @@
use rustc_hir as hir; use rustc_hir as hir;
use rustc_infer::traits::util; use rustc_infer::traits::util;
use rustc_middle::ty::GenericArgs; use rustc_middle::ty::GenericArgs;
use rustc_middle::ty::{self, Ty, TyCtxt, TypeFoldable, TypeFolder}; use rustc_middle::ty::{self, Ty, TyCtxt, TypeFoldable, TypeFolder, TypeSuperFoldable};
use rustc_span::def_id::{DefId, LocalDefId}; use rustc_span::def_id::{DefId, LocalDefId};
use rustc_span::Span; use rustc_span::Span;
@ -214,7 +214,7 @@ fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> {
{ {
self.tcx.type_of(projection_ty.def_id).instantiate(self.tcx, projection_ty.args) self.tcx.type_of(projection_ty.def_id).instantiate(self.tcx, projection_ty.args)
} else { } else {
ty ty.super_fold_with(self)
} }
} }
} }

4
tests/ui/impl-trait/in-trait/nested-rpitit-bounds.rs
View file

@ -6,6 +6,10 @@ trait Foo {
fn foo() -> impl Deref<Target = impl Deref<Target = impl Sized>> { fn foo() -> impl Deref<Target = impl Deref<Target = impl Sized>> {
&&() &&()
} }
fn bar() -> impl Deref<Target = Option<impl Sized>> {
&Some(())
}
} }
fn main() {} fn main() {}