{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"[GenericArgKind::Type(_),"}]}
            [GenericArgKind::Type(_), ..] => Ok(TraitRef { def_id, args }),
        match &args.0[..] {
            _ => Err(()),