Function __action49

fn __action49(
    cx: &mut ParseCtxt<'_>,
    (_, params, _): (Location, Option<RefineParams>, Location),
    (_, pred, _): (Location, Expr, Location),
) -> Requires