unload #as foot-gun

Author: jberthold

kmir/src/kmir/kdist/mir-semantics/kmir.md

@@ -504,7 +504,7 @@ The local data has to be set up for the call, which requires information about t
 
   // reserve space for local variables and copy arguments from old locals into their place
   rule <k> #setUpCalleeData(
-              monoItemFn(_, _, body(FIRST:BasicBlock _ #as BLOCKS, NEWLOCALS, _, _, _, _) _:Bodies),
+              monoItemFn(_, _, body((FIRST:BasicBlock _) #as BLOCKS, NEWLOCALS, _, _, _, _) _:Bodies),
               ARGS
               )
          =>

kmir/src/tests/integration/data/exec-smir/main-a-b-c/main-a-b-c.15.state

@@ -10,7 +10,7 @@
   </currentFunc>
   <currentFrame>
     <currentBody>
-      .List
+      ListItem ( basicBlock (... statements: .Statements , terminator: terminator (... kind: terminatorKindReturn , span: span ( 65 ) ) ) )
     </currentBody>
     <caller>
       ty ( 26 )