// flags: --overrides wgsize=10
override wgsize : u32;
var<workgroup> a : array<f32, wgsize>; // Accepted
var<workgroup> b : array<f32, wgsize * 2>; // Rejected
fn f() {
let x = a[0];
let y = b[0];
}