{"ast_node_type":"variable","tokens":[{"end":60,"kind":"keyword","start":0,"text":"&&"}]}
            && let Some(target_principal) = data.principal()
            && let ty::Dynamic(data, _, ty::Dyn) = target.kind()
            // `target_principal` is a supertrait of `t_principal`