{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
            // if the modules are the same, visibility is trivially satisfied
        if from_module == to_module {
            return true;