Jens,

Thanks for reminding me. I have totally forgot this section.

I believe that the document was written before Js.cast and Js.unchecked cast.

Maybe some use cases and some examples would be helpful.

Thanks again.

On Wed, Aug 14, 2019 at 9:58 AM Jens <jens.nehlme...@gmail.com> wrote:
>
>
>> 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 google-web-toolkit+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/google-web-toolkit/e89fdeec-6bfd-48d3-973a-a98f4287d83b%40googlegroups.com.



-- 
Vassilis Virvilis

-- 
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 google-web-toolkit+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/google-web-toolkit/CAKbOjEw9BXbT4qZH60aBeder4NbbFeShdwSyhQEtE9tu%3DKpuxg%40mail.gmail.com.

Reply via email to