`@goto` in a `catch` skips `finally`

[IanButterworth]

If not a bug, I think this is worth documenting. The finally isn't visited.

julia> function foo()
           try
              println(1)
              error()
           catch
              println(2)
              @goto here
           finally
              println(3)
           end
           @label here
           println(4)
           return :done
       end
foo (generic function with 1 method)

julia> foo()
1
2
4
:done

[Seelengrab]

I think this is doing exactly what it's supposed to do, since @goto is unstructured control flow (within the same function).

I agree though that the docstring is extremely sparse here.

[IanButterworth]

#60973

[IanButterworth]

@vtjnash pointed out

julia> function example()
           try
               @goto skip_finally
           finally
               println("This will not be printed")
           end
           @label skip_finally
           println("Jumped here directly")
       end
ERROR: syntax: goto from a try/finally block is not permitted around REPL[6]:2
Stacktrace:
 [1] top-level scope
   @ REPL[6]:1

But no error when in the catch

julia> function example()
           try
               error()
           catch
               @goto skip_finally
           finally
               println("This will not be printed")
           end
           @label skip_finally
           println("Jumped here directly")
       end
example (generic function with 1 method)

julia> example()
Jumped here directly

So perhaps this is a bug and it should error from the catch too.