{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"stdx::always!(def_map.module_id(local_id).is_block_module());"}]}
    stdx::always!(def_map.module_id(local_id).is_block_module());
    // INVARIANT: `local_id` in `def_map` must be a block module.