fn __action70(
cx: &mut ParseCtxt<'_>,
(_, _, _): (Location, Token, Location),
(_, ty, _): (Location, Ty, Location),
(_, _, _): (Location, Token, Location),
(_, len, _): (Location, ConstArg, Location),
(_, _, _): (Location, Token, Location),
) -> Result<TyKind, ParseError<Location, Token, UserParseError>>