```cs public class C { public void M(int[] a) { var x = a.Length; // ldlen var y = a is {Length:0}; // callvirt System.Array::get_Length() } } ```