// "Cast argument to 'x'" "true-preview" class x {} class a extends x { a(a a) {} a(x x) {} void f(Runnable r) { new a((x) r); } }