> It would be great if there was some documentation that could compare 
> and spell the differences between 
> standard cast (), Js.cast(), Js.uncheckedCast() in various use cases 
> so we could have a list of dos and donts. 
>

There is a whole section about instanceof/cast 
in 
https://docs.google.com/document/d/10fmlEYIHcyead_4R1S5wKGs1t2I7Fnp_PaNaa7XTEk0/edit#heading=h.kog1ji9nzq7y

-- J.

-- 
You received this message because you are subscribed to the Google Groups "GWT 
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/google-web-toolkit/e89fdeec-6bfd-48d3-973a-a98f4287d83b%40googlegroups.com.

Reply via email to