type ArrayExplicitStride = [[stride(4)]] array<i32, 2>;

type ArrayImplicitStride = array<i32, 2>;

fn foo() {
  var explicit : ArrayExplicitStride;
  var implict : ArrayImplicitStride;
  implict = explicit;
}