{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"Some(GenericArg::Type(ty))"}]}
            Some(GenericArg::Type(ty)) => ty.into(),
        let term = match arg {
            Some(GenericArg::Const(c)) => {