From b359acc915347e0034a1c806d134b45a40a7a46a Mon Sep 17 00:00:00 2001 From: "monada-bot[bot]" Date: Sun, 17 Mar 2024 11:21:13 +0000 Subject: [PATCH] chore: self mutation (e2e-2of2.diff) Signed-off-by: monada-bot[bot] --- tools/hangar/__snapshots__/invalid.ts.snap | 49 ++++++++++++++++++---- 1 file changed, 42 insertions(+), 7 deletions(-) diff --git a/tools/hangar/__snapshots__/invalid.ts.snap b/tools/hangar/__snapshots__/invalid.ts.snap index 22684fab3ec..da92ba95642 100644 --- a/tools/hangar/__snapshots__/invalid.ts.snap +++ b/tools/hangar/__snapshots__/invalid.ts.snap @@ -1395,30 +1395,65 @@ 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.