{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"root_term:"}]}
    root_term: Term<'tcx>,
    /// The root term (const or type) we're generalizing. Used for cycle errors.