Rollup merge of #72563 - RalfJung:multi-return, r=matthewjasper

multiple Return terminators are possible

@ecstatic-morse mentioned in #72515 that multiple `Return` terminators are possible. Update the docs accordingly.

Cc @rust-lang/wg-mir-opt

Author: RalfJung

src/librustc_middle/mir/mod.rs

@@ -1072,7 +1072,8 @@ pub enum TerminatorKind<'tcx> {
     Abort,
 
     /// Indicates a normal return. The return place should have
-    /// been filled in by now. This should occur at most once.
+    /// been filled in before this executes. This can occur multiple times
+    /// in different basic blocks.
     Return,
 
     /// Indicates a terminator that can never be reached.