Gregory Boyd

`nat @ comptime` argument not recognised in nested function signature

1

When using a `nat @ comptime` in the signature of a nested function, the variable is not defined ```python @guppy def foo(n: nat @ comptime) -> None: @guppy def bar(arr:...