Add test to verify we diagnose incorrect lifetime annotation

Author: meg-gupta

test/SILOptimizer/lifetime_dependence_borrow_fail.swift

@@ -3,8 +3,8 @@
 // RUN:   -verify \
 // RUN:   -sil-verify-all \
 // RUN:   -module-name test \
-// RUN:   -enable-experimental-feature NoncopyableGenerics \
-// RUN:   -enable-experimental-feature NonescapableTypes
+// RUN:   -enable-experimental-feature NonescapableTypes \
+// RUN:   -enable-experimental-feature NoncopyableGenerics
 
 // REQUIRES: asserts
 // REQUIRES: swift_in_compiler
@@ -54,3 +54,15 @@ func bv_get_consume(container: consuming NE) -> BV {
     // expected-note @-2{{this use causes the lifetime-dependent value to escape}}
 }
 
+struct Wrapper : ~Escapable {
+  let bv: BV
+}
+
+func bv_incorrect_annotation1(_ bv1: borrowing BV, _ bv2: borrowing BV) -> dependsOn(bv2) BV { // expected-error {{lifetime-dependent variable 'bv1' escapes its scope}}
+  return copy bv1                                                                              // expected-note @-1{{it depends on the lifetime of argument 'bv1'}}
+}                                                                                              // expected-note @-1{{this use causes the lifetime-dependent value to escape}}
+
+func bv_incorrect_annotation2(_ w1: borrowing Wrapper, _ w2: borrowing Wrapper) -> dependsOn(w2) BV { // expected-error {{lifetime-dependent variable 'w1' escapes its scope}}
+  return w1.bv                                                                                        // expected-note @-1{{it depends on the lifetime of argument 'w1'}}
+}                                                                                                     // expected-note @-1{{this use causes the lifetime-dependent value to escape}}
+