fn __action65(
cx: &mut ParseCtxt<'_>,
(_, bty, _): (Location, BaseTy, Location),
(_, _, _): (Location, Token, Location),
(_, bind, _): (Location, Ident, Location),
(_, _, _): (Location, Token, Location),
(_, pred, _): (Location, Expr, Location),
(_, _, _): (Location, Token, Location),
) -> TyKind