add tests w/ current temporary lifetime behavior

(for better or worse)

dada_tests/specifier/temporary-lifetime/call-argument.dada

@@ -0,0 +1,18 @@
+class Object(any data)
+
+async fn main() {
+    any o = lease_me(Object(22)).data
+    #! RUN ERROR your lease to this object was cancelled
+    #
+    # What happens here:
+    # * the `Object(22)` is stored into a temporary that is dropped as soon
+    #   as the call completes.
+    #
+    #! FIXME: This seems kind of annoying!
+
+    print(o).await
+}
+
+fn lease_me(leased p) {
+    p
+}

dada_tests/specifier/temporary-lifetime/call-argument/lsp.ref

@@ -0,0 +1 @@
+[]

dada_tests/specifier/temporary-lifetime/if-then-else-leased.dada

@@ -0,0 +1,12 @@
+class Object(any data)
+
+async fn main() {
+    any o = if true { Object(true).lease } else { Object(false).lease }
+    #! RUN ERROR your lease to this object was cancelled
+    #
+    # What happens here:
+    # * `Object(true).lease` is equivalent to `{ any o = Object(true); o.lease }`
+    # * that variable `o` is dropped as we exit the `if-then-else`
+
+    print(o).await
+}

dada_tests/specifier/temporary-lifetime/if-then-else-leased/lsp.ref

@@ -0,0 +1 @@
+[]

dada_tests/specifier/temporary-lifetime/if-then-else-owned.dada

@@ -0,0 +1,7 @@
+class Object(any data)
+
+async fn main() {
+    # This is equivalent to `if { .. } else { .. }.lease`.
+    leased o = if true { Object(true) } else { Object(false) }
+    print(o).await  #! OUTPUT Object\(true\)
+}

dada_tests/specifier/temporary-lifetime/if-then-else-owned/lsp.ref

@@ -0,0 +1 @@
+[]

dada_tests/specifier/temporary-lifetime/if-then-else-owned/stdout.ref

@@ -0,0 +1 @@
+leased Object(true)