looking at the internal threads and the RFC, i think it was suggested that `: void` becomes mandatory?
what we are saying here is keep the same behavior as now when it comes to return types, but internally, make it return `void`, so that `return`and `yield`are also banned by the engine at compile-time.
what we are saying here is keep the same behavior as now when it comes to return types, but internally, make it return `void`, so that `return`and `yield`are also banned by the engine at compile-time.