Right, I forgot about the return; so I've striked off my question about no_implicit_return.
As for implicit_return, I guess I got confused as to the purpose of the if statement. Both the true and false code paths lead to an implicit return of the call to tst_context. Me thinks why bother having the if at all? :-)