{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"def_path_hash.local_hash(),"}]}
            def_path_hash.local_hash(),
            // `owner` is local, so is completely defined by the local hash
            local_id.as_u32() as u64,