Avoid dynamic_cast<> if we already know the type#3610

hzeller wants to merge 1 commit intoantlr:devantlr/antlr4:devfrom

hzeller:20220329-avoid-dynamic-cast-when-knowing-typehzeller/antlr4:20220329-avoid-dynamic-cast-when-knowing-typeCopy head branch name to clipboard