Function __action723

fn __action723(
    cx: &mut ParseCtxt<'_>,
    __0: (Location, Vec<RefineArg>, Location),
) -> Indices