chore: self mutation (e2e-2of2.diff)

Signed-off-by: monada-bot[bot] <[email protected]>

tools/hangar/__snapshots__/invalid.ts.snap

@@ -1395,30 +1395,65 @@ Duration <DURATION>"
 
 exports[`explicit_lift_qualification.test.w 1`] = `
 "error: Expected type to be \\"Resource\\", but got \\"str\\" instead
-   --> ../../../examples/tests/invalid/explicit_lift_qualification.test.w:12:10
+   --> ../../../examples/tests/invalid/explicit_lift_qualification.test.w:14:10
    |
-12 |     lift(prelight_string, [\\"contains\\"]); // Explicit qualification on preflight non-class
+14 |     lift(prelight_string, [\\"contains\\"]); // Explicit qualification on preflight non-class
    |          ^^^^^^^^^^^^^^^ Expected type to be \\"Resource\\", but got \\"str\\" instead
 
 
+error: lift() calls must be at the top of the method
+   --> ../../../examples/tests/invalid/explicit_lift_qualification.test.w:10:5
+   |
+10 |     lift(b, [\\"put\\"]); // Explicit qualification with inflight object, lift call as non first statement
+   |     ^^^^^^^^^^^^^^^^^ lift() calls must be at the top of the method
+
+
+error: lift() calls must be at the top of the method
+   --> ../../../examples/tests/invalid/explicit_lift_qualification.test.w:14:5
+   |
+14 |     lift(prelight_string, [\\"contains\\"]); // Explicit qualification on preflight non-class
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ lift() calls must be at the top of the method
+
+
+error: lift() calls must be at the top of the method
+   --> ../../../examples/tests/invalid/explicit_lift_qualification.test.w:19:5
+   |
+19 |     lift(bucket, [inflight_qualifier]); // Explicit qualification with inflight qualifiers, lift call as non first statement
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ lift() calls must be at the top of the method
+
+
 error: Expected a preflight object as first argument to \`lift\` builtin, found inflight expression instead
    --> ../../../examples/tests/invalid/explicit_lift_qualification.test.w:10:10
    |
-10 |     lift(b, [\\"put\\"]); // Explicit qualification with inflight object
+10 |     lift(b, [\\"put\\"]); // Explicit qualification with inflight object, lift call as non first statement
    |          ^ Expected a preflight object as first argument to \`lift\` builtin, found inflight expression instead
 
 
 error: Qualification list must not contain any inflight elements
-   --> ../../../examples/tests/invalid/explicit_lift_qualification.test.w:16:18
+   --> ../../../examples/tests/invalid/explicit_lift_qualification.test.w:19:18
    |
-16 |     lift(bucket, [inflight_qualifier]); // Explicit qualification with inflight qualifiers
+19 |     lift(bucket, [inflight_qualifier]); // Explicit qualification with inflight qualifiers, lift call as non first statement
    |                  ^^^^^^^^^^^^^^^^^^^^ Qualification list must not contain any inflight elements
 
 
+error: lift() calls are only allowed in inflight methods and closures defined in preflight
+   --> ../../../examples/tests/invalid/explicit_lift_qualification.test.w:24:7
+   |
+24 |       lift(bucket, [\\"get\\"]); // lift() call in inner closure
+   |       ^^^^^^^^^^^^^^^^^^^^^^ lift() calls are only allowed in inflight methods and closures defined in preflight
+
+
+error: lift() calls are only allowed in inflight methods and closures defined in preflight
+   --> ../../../examples/tests/invalid/explicit_lift_qualification.test.w:29:9
+   |
+29 |         lift(bucket, [\\"get\\"]); // lift() call in inner class
+   |         ^^^^^^^^^^^^^^^^^^^^^^ lift() calls are only allowed in inflight methods and closures defined in preflight
+
+
 error: Expression of type \\"Bucket\\" references an unknown preflight object, can't qualify its capabilities. Use \`lift()\` to explicitly qualify the preflight object to disable this error.
-   --> ../../../examples/tests/invalid/explicit_lift_qualification.test.w:22:5
+   --> ../../../examples/tests/invalid/explicit_lift_qualification.test.w:37:5
    |
-22 |     b.put(\\"k\\", \\"v\\"); // With no explicit qualification this should be an error
+37 |     b.put(\\"k\\", \\"v\\"); // With no explicit qualification this should be an error
    |     ^ Expression of type \\"Bucket\\" references an unknown preflight object, can't qualify its capabilities. Use \`lift()\` to explicitly qualify the preflight object to disable this error.