fn __action259( cx: &mut ParseCtxt<'_>, __lookbehind: &Location, __lookahead: &Location, ) -> Vec<Ensures>