fn __action84<'input>(
input: &'input str,
(_, external, _): (usize, Option<()>, usize),
(_, _, _): (usize, &'input str, usize),
(_, p, _): (usize, Vec<VariableKind>, usize),
(_, mark, _): (usize, Option<&'input str>, usize),
(_, t, _): (usize, Identifier, usize),
(_, a, _): (usize, Vec<GenericArg>, usize),
(_, _, _): (usize, &'input str, usize),
(_, s, _): (usize, Ty, usize),
(_, w, _): (usize, Vec<QuantifiedWhereClause>, usize),
(_, _, _): (usize, &'input str, usize),
(_, assoc, _): (usize, Vec<AssocTyValue>, usize),
(_, _, _): (usize, &'input str, usize),
) -> Impl