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