8006857: ClassCastException when interface implementing function uses arguments object