{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"c.def_id.krate"}]}
                c.def_id.krate != trait_def_id.krate
            .filter(|c| {
                    && self.tcx.crate_name(c.def_id.krate) == krate