fn __action62<'input>(
input: &'input str,
(_, variances, _): (usize, Option<Vec<Variance>>, usize),
(_, safety, _): (usize, Option<Safety>, usize),
(_, abi, _): (usize, Option<FnAbi>, usize),
(_, _, _): (usize, &'input str, usize),
(_, n, _): (usize, Identifier, usize),
(_, p, _): (usize, Vec<VariableKind>, usize),
(_, _, _): (usize, &'input str, usize),
(_, args, _): (usize, FnArgs, usize),
(_, _, _): (usize, &'input str, usize),
(_, ret_ty, _): (usize, Option<Ty>, usize),
(_, w, _): (usize, Vec<QuantifiedWhereClause>, usize),
(_, _, _): (usize, &'input str, usize),
) -> FnDefn