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