If a ;;;###if module cookie returned nil for a file, it should still
allow autodefs to be scraped from it, which wasn't happening before this
fix.
An autodef's guarantee is that it will always be defined, whether or not
the containing module is enabled.