{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"(Binders::new(binders,"}]}
                (Binders::new(binders, error_lifetime().cast(Interner)), false)
            GenericParamDataRef::LifetimeParamData(_) => {
            }