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