{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":")"}]}
) -> (&'db DefMap, LocalModuleId) {
    mut local_id: LocalModuleId,
    // INVARIANT: `local_id` in `def_map` must be a block module.