Borja o'Cook

The variable `t` is also used outside of the `if` scope below: https://github.com/ponylang/ponyc/blob/58134d152503147e7980404990252136dd7b6cc6/src/libponyc/type/lookup.c#L150-L167 I actually don't know if `opt` is ever allowed to be `NULL` here, this function in particular...

This still happens from time to time on CI.

@SeanTAllen Sure, I can try it tomorrow when I have some time off.

@SeanTAllen I managed to reproduce the segfault but unfortunately ran out of time to debug the problem. To trigger a segfault, it is enough to run the runner: ```text #...

@SeanTAllen I can, but not until next week.

Here's the backtrace I get from the runner: ``` * thread #3, name = 'runner', stop reason = signal SIGSEGV: invalid address (fault address: 0xaaaaaaa8ff0b) * frame #0: 0x0000fffff7fab8e4 ld-musl-aarch64.so.1`strlen...

Failures from #4149 ``` [ RUN ] codegen-trace-number-boxed-sent-through-interface [ FAILED ] codegen-trace-number-boxed-sent-through-interface (60002 ms): timed out after 60 seconds [ RUN ] ffi-return-arg-reachable [ FAILED ] ffi-return-arg-reachable (60011 ms): timed...

From #4150 ``` [ RUN ] array-infer-from-seq [ FAILED ] array-infer-from-seq (60001 ms): timed out after 60 seconds [ RUN ] regression-849 [ FAILED ] regression-849 (60005 ms): timed out...

The linked code no longer fails with an assertion error; it now emits the following error: ``` can't reassign to a consumed identifier in a try expression if there is...

The updated Pony code from OP should now be: ```pony class Wumpus var hunger: USize = 0 actor Main new create(env: Env) => let a: (Wumpus | None) = Wumpus...