Return type is bound too

rust-lang · Jun 19, 2020 · d63195b · d63195b
1 parent 890cef6
commit d63195b
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/librustc_traits/chalk/db.rs b/src/librustc_traits/chalk/db.rs
@@ -187,8 +187,12 @@ impl<'tcx> chalk_solve::RustIrDatabase<RustInterner<'tcx>> for RustIrDatabase<'t
             .map(|t| t.subst(self.tcx, &bound_vars).lower_into(&self.interner))
             .collect();
 
-        let return_type =
-            sig.output().skip_binder().subst(self.tcx, &bound_vars).lower_into(&self.interner);
+        let return_type = sig
+            .output()
+            .no_bound_vars()
+            .expect("FIXME(chalk): late-bound fn parameters not supported in chalk")
+            .subst(self.tcx, &bound_vars)
+            .lower_into(&self.interner);
 
         let bound =
             chalk_solve::rust_ir::FnDefDatumBound { argument_types, where_clauses, return_type };