test/tint/diagnostic_filtering/case_body_attribute.wgsl

@group(0) @binding(1) var t : texture_2d<f32>;
@group(0) @binding(2) var s : sampler;

@fragment
fn main(@location(0) x : f32) {
  switch (i32(x)) {
    case 0 @diagnostic(warning, derivative_uniformity) {
      _ = textureSample(t, s, vec2(0, 0));
    }
    default {
    }
  }
}