{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"def.did().is_local()"}]}
                    def.did().is_local()
                if let ty::Adt(def, _) = pred.self_ty().kind() {
                } else {