require inside an unused block

Consider the following:

        if false { require "whatever"; }
        fileinto "INBOX.foo";

Does the script process at all?  (I'd like it to just out-and-out fail,
but that requires a very specific idea of what "require" does that some
people will probably not like.)

What exactly happens in the

        fileinto "INBOX.foo"
        if true { require "whatever"; }

case?

My preference is that when a script is going to go wrong, it do so at
the first possible moment, and making require sufficiently magic would
make that very easy (albeit gross).

-- 
Tim Showalter <tjs+(_at_)andrew(_dot_)cmu(_dot_)edu>