Merge pull request #81130 from atrick/62-fix-default-init

[6.2] LifetimeDependence: fix a type checker crash on implicit init

Author: atrick

lib/AST/LifetimeDependence.cpp

@@ -962,7 +962,7 @@ class LifetimeDependenceChecker {
         diagnose(returnLoc,
                  diag::lifetime_dependence_cannot_infer_scope_ownership,
                  param->getParameterName().str(), diagnosticQualifier());
-        continue;
+        return;
       }
       targetDeps = std::move(targetDeps).add(paramIndex, *kind);
     }

test/Sema/lifetime_depend_infer.swift

@@ -168,6 +168,12 @@ struct EscapableNonTrivialSelf {
 // (for initializers and stand-alone functions)
 // =============================================================================
 
+// An implicit initializer illegally consumes its nontrivial parameter.
+public struct NonescapableImplicitInitializer: ~Escapable {
+  // expected-error @-1{{cannot borrow the lifetime of 'c', which has consuming ownership on an implicit initializer}}
+  var c: C
+}
+
 struct NonescapableInitializers: ~Escapable {
   var c: C