{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"pub"}]}
    pub orig_values: Vec<I::GenericArg>,
    pub uncanonicalized_goal: Goal<I, I::Predicate>,
    pub encountered_overflow: bool,