{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"ModuleOrigin::CrateRoot"}]}
        ModuleOrigin::CrateRoot { definition: krate.root_file_id(db) },
    let module_data = ModuleData::new(
        Visibility::Public,