Michael

There is no local variable for the `%0` argument, we only allocate GEPs for members behind the pointer. Since this needs to be a pointer but `%0` is a `StructValue`...

So the idea is to scrap supporting `THIS^()`?

This is also tracked in #1286 and happens because referencing local, unqualified members in `REF`/`ADR` is not yet supported. I'll close the other issue in favor of this one.

This doesn't seem to be limited to VLAs. I can reproduce this with `ARRAY[...] OF ARRAY[...]` in a `VAR_IN_OUT` block: ``` FUNCTION arrayFn VAR_IN_OUT inOutArray: ARRAY[1..5] OF ARRAY[0..80] OF CHAR;...

This is due to constants being propagated. When trying to emit IR from this example, we get this: ``` Builder error: /tmp/.tmpkFPSpE/target/demo.st.ll:27:20: error: '@fnReferenceTo' defined with type 'i32 (i32*)*' but...