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