// { dg-additional-options "-fsyntax-only" }
#![feature(no_core)]
#![no_core]


fn main() {
    let a = [1, 2, 3, 4];
    let _ = a[0..];
    let _ = a[..3];
    let _ = a[0..3];
    let _ = a[..];
}