{"ast_node_type":"variable","tokens":[{"end":68,"kind":"keyword","start":0,"text":"&&"}]}
            && let ModuleKind::Def(DefKind::Trait, ..) = module.kind
                self.resolve_path(&Segment::from_path(self_ty_path), Some(TypeNS), None)
            && trait_ref.path.span == span