{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"goals.push(Goal::new(tcx,"}]}
                goals.push(Goal::new(tcx, param_env, ty::PredicateKind::Ambiguous));
                // our trait.
            }