{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":".find(|supertrait|"}]}
                .find(|supertrait| supertrait.def_id() == target_principal.def_id())
            && let Some(supertrait_principal) = supertraits(tcx, self_principal.with_self_ty(tcx, self_ty))
        {