{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"&&"}]}
            && tcx.is_lang_item(did, LangItem::Deref)
            && let Some(did) = trait_.trait_def_id()
            // the self type is `dyn t_principal`