I'm not sure what "a top-level block" means in this context.  I tend to think of "top-level" as being in the context of `main` but that's not the case here.  How about "Using `pending` to define an example that is currently passing"?