{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"predicate:"}]}
            predicate: ty::SubtypePredicate {
            param_env: goal.param_env,
                a_is_expected: false,