diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_typeck/expr_use_visitor.rs | 4 | ||||
| -rw-r--r-- | src/test/ui/closures/issue-68025.rs | 12 |
2 files changed, 14 insertions, 2 deletions
diff --git a/src/librustc_typeck/expr_use_visitor.rs b/src/librustc_typeck/expr_use_visitor.rs index be00c57763a..47635209b08 100644 --- a/src/librustc_typeck/expr_use_visitor.rs +++ b/src/librustc_typeck/expr_use_visitor.rs @@ -327,10 +327,10 @@ impl<'a, 'tcx> ExprUseVisitor<'a, 'tcx> { } fn walk_callee(&mut self, call: &hir::Expr<'_>, callee: &hir::Expr<'_>) { - let callee_ty = return_if_err!(self.mc.expr_ty_adjusted(callee)); + let callee_ty = self.mc.tables.expr_ty_adjusted(callee); debug!("walk_callee: callee={:?} callee_ty={:?}", callee, callee_ty); match callee_ty.kind { - ty::FnDef(..) | ty::FnPtr(_) => { + ty::FnDef(..) | ty::FnPtr(_) | ty::Closure(..) => { self.consume_expr(callee); } ty::Error => {} diff --git a/src/test/ui/closures/issue-68025.rs b/src/test/ui/closures/issue-68025.rs new file mode 100644 index 00000000000..261bfd60aae --- /dev/null +++ b/src/test/ui/closures/issue-68025.rs @@ -0,0 +1,12 @@ +// check-pass + +fn foo<F, G>(_: G, _: Box<F>) +where + F: Fn(), + G: Fn(Box<F>), +{ +} + +fn main() { + foo(|f| (*f)(), Box::new(|| {})); +} |
