Fixed #6203 (AST: fix problem with '; static_cast<...')