Casting to a closure

[Zdenek Tronicek]

Casting to a closure generates a warning:

   Object o = { => Math.random() };
   { => double } p = ({ => double }) o;

TypeCasting.java:13: warning: [unchecked] unchecked cast
found   : java.lang.Object
required: { => double}
             { => double } p = ({ => double }) o;
                                               ^
1 warning

Z.
-- 
Zdenek Tronicek
Department of Computer Science and Engineering
Prague                   tel: +420 2 2435 7410
http://cs.felk.cvut.cz/~tronicek