{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"ty::ClauseKind::HostEffect(pred)"}]}
                    ty::ClauseKind::HostEffect(pred) => {
                match clause.kind().skip_binder() {
                        assert_eq!(