Mattis Böckle

I think you misunderstood the Issue. Your examples should not compile, because there is a return in a void function. Always choosing the first return does not fix the issue....

You were working on #151 right? I made a Pull-Request for that Issue, but now I'm not sure if my solution is correct. Does no explicit return type mean that...

I took a look as well, but the return statement never checks if it is of the correct type. I don't think it has anything to do with the blocks

I already have a working fix for `void` or `unknown` return types, but the other types are trickier, because afaik there is no check for if the expr-value can be...

If this is the intended behaviour, there are some tests that are wrong. Namely: [passing_array](https://github.com/SerenityOS/jakt/blob/main/samples/generics/passing_arrays.jakt) and [mutable_unwrap](https://github.com/SerenityOS/jakt/blob/main/samples/optional/mutable_unwrap.jakt) Can I get confirmation on if those are wrong?