Function __action261

fn __action261(
    cx: &mut ParseCtxt<'_>,
    (_, __0, _): (Location, Ensures, Location),
    (_, _, _): (Location, Token, Location),
) -> Ensures