bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Don't compute opt_suggest_box_span for TAIT

Browse source
This commit is contained in:
Michael Goulet 2023-06-10 23:17:02 +00:00
parent 397641f3bd
commit e49b4625df
1 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/rustc_hir_typeck/src/_match.rs
View file

@ -510,6 +510,14 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
.. ..
} = self.type_var_origin(expected)? else { return None; }; } = self.type_var_origin(expected)? else { return None; };
let Some(rpit_local_def_id) = rpit_def_id.as_local() else { return None; };
if !matches!(
self.tcx.hir().expect_item(rpit_local_def_id).expect_opaque_ty().origin,
hir::OpaqueTyOrigin::FnReturn(..)
) {
return None;
}
let sig = self.body_fn_sig()?; let sig = self.body_fn_sig()?;
let substs = sig.output().walk().find_map(|arg| { let substs = sig.output().walk().find_map(|arg| {