{"ast_node_type":"variable","tokens":[{"end":78,"kind":"keyword","start":0,"text":"&&"}]}
            && let self_ty = tcx.type_of(item.owner_id).instantiate_identity()
            // the self type is `dyn t_principal`
            && let ty::Dynamic(data, _, ty::Dyn) = self_ty.kind()