Function __action67

fn __action67(
    cx: &mut ParseCtxt<'_>,
    (_, _, _): (Location, Token, Location),
    (_, params, _): (Location, Vec<RefineParam>, Location),
    (_, _, _): (Location, Token, Location),
    (_, ty, _): (Location, Ty, Location),
    (_, pred, _): (Location, Option<Expr>, Location),
    (_, _, _): (Location, Token, Location),
) -> TyKind