Function __action133

fn __action133(
    cx: &mut ParseCtxt<'_>,
    (_, __0, _): (Location, RefineParams, Location),
) -> Option<RefineParams>