A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://github.com/model-checking/kani/issues/707 below:

Add support for binding sub-arrays using slice patterns · Issue #707 · model-checking/kani · GitHub

Requested feature: Add full support for Rust slice patterns. Currently, only binding sub-slices is supported (see #357). Binding sub-arrays panics.
Use case: Slice patterns
Link to relevant documentation (Rust reference, Nomicon, RFC): https://rust-lang.github.io/rfcs/2359-subslice-pattern-syntax.html
Is this a breaking change? No

Test case:

let [x, y @ .., z] = [1, 2, 3, 4]; // `y: [i32, 2] = [2, 3]

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4