class X {}
class Y : X {}
class Test {
static void f(ref X x){}
static void Main() {
X[] x = new Y[1];
f(ref x[0]);
}
}
Y2xhc3MgWCB7fQpjbGFzcyBZIDogWCB7fQpjbGFzcyBUZXN0IHsKICBzdGF0aWMgdm9pZCBmKHJlZiBYIHgpe30KICBzdGF0aWMgdm9pZCBNYWluKCkgewogICAgWFtdIHggPSBuZXcgWVsxXTsKICAgIGYocmVmIHhbMF0pOwogIH0KfQ==