Wf-check the output type of a function in MIR-typeck

src/librustc_mir/borrow_check/nll/type_check/mod.rs

@@ -1452,7 +1452,7 @@ impl<'a, 'gcx, 'tcx> TypeChecker<'a, 'gcx, 'tcx> {
  self.check_call_dest(mir, term, &sig, destination, term_location);
 
  self.prove_predicates(
- sig.inputs().iter().map(|ty| ty::Predicate::WellFormed(ty)),
+ sig.inputs_and_output.iter().map(|ty| ty::Predicate::WellFormed(ty)),
  term_location.to_locations(),
  ConstraintCategory::Boring,
  );

src/test/ui/nll/issue-57265-return-type-wf-check.rs

@@ -0,0 +1,26 @@
+#![feature(nll)]
+
+use std::any::Any;
+
+#[derive(Debug, Clone)]
+struct S<T: 'static>(T);
+
+// S<&'a T> is in the return type, so we get an implied bound
+// &'a T: 'static
+fn foo<'a, T>(x: &'a T) -> (S<&'a T>, Box<dyn Any + 'static>) {
+ let y = S(x);
+
+ let z = Box::new(y.clone()) as Box<dyn Any + 'static>;
+ (y, z)
+}
+
+fn main() {
+ let x = 5;
+
+ // Check that we require that the argument is of type `&'static String`,
+ // so that the return type is well-formed.
+ let (_, z) = foo(&"hello".to_string());
+ //~^ ERROR temporary value dropped while borrowed
+
+ println!("{:?}", z.downcast_ref::<S<&'static String>>());
+}

src/test/ui/nll/issue-57265-return-type-wf-check.stderr

@@ -0,0 +1,12 @@
+error[E0716]: temporary value dropped while borrowed
+ --> $DIR/issue-57265-return-type-wf-check.rs:22:23
+ |
+LL | let (_, z) = foo(&"hello".to_string());
+ | -----^^^^^^^^^^^^^^^^^^^-- temporary value is freed at the end of this statement
+ | | |
+ | | creates a temporary which is freed while still in use
+ | argument requires that borrow lasts for `'static`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0716`.