and things like `return TODO()` are actually the r...

# announcements

[aimozg]

and things like return TODO() are actually the reason Nothing is made to behave that way, I think