No diagnostic for setting properties of non-existing modules in Export items

For instance:

Export {
    bla.blubb: true
}

Debugging shows that this property does not exist anymore at the the time the PropertyDeclarationCheck is running, so the ModuleLoader seems to remove it as part of dependency resolving.