fn __action580( cx: &mut ParseCtxt<'_>, __0: (Location, Vec<Ty>, Location), __1: (Location, Option<Ty>, Location), ) -> Vec<Ty>