No, we'll have to ban this. The set of potential imports for a source file/module should be something that's fixed prior to type checking, and easily determined via a syntactic walk. Various infrastructure, such as scanning for module dependencies, depends on this operation being cheap.
Doug