mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Bubble up error type

Browse Source
This commit is contained in:
Oli Scherer 2024-01-10 10:25:42 +00:00
parent 3a6bf351a3
commit 252ac15286
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_hir_typeck/src/closure.rs
View File

@ -802,7 +802,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
.explicit_item_bounds(def_id) .explicit_item_bounds(def_id)
.iter_instantiated_copied(self.tcx, args) .iter_instantiated_copied(self.tcx, args)
.find_map(|(p, s)| get_future_output(p.as_predicate(), s))?, .find_map(|(p, s)| get_future_output(p.as_predicate(), s))?,
ty::Error(_) => return None, ty::Error(_) => return Some(ret_ty),
_ => span_bug!( _ => span_bug!(
closure_span, closure_span,
"async fn coroutine return type not an inference variable: {ret_ty}" "async fn coroutine return type not an inference variable: {ret_ty}"