fn __action502( cx: &mut ParseCtxt<'_>, __0: (Location, Vec<Ensures>, Location), __1: (Location, Ensures, Location), ) -> Vec<Ensures>