{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"ty::ClauseKind::ConstEvaluatable(e)"}]}
                ty::ClauseKind::ConstEvaluatable(e) => (vec![e.into()], None),
                ty::ClauseKind::ConstArgHasType(arg, ty) => (vec![ty.into(), arg.into()], None),
                _ => return false,