Dynamic dispatch

I read that you can’t use dynamic dispatch with the programming language Move.
Does the static bytecode verifier also check if there is dynamic dispatch used or would it be possible that somebody could create a language that compiles to Diem Bytecode which could allow dynamic dispatch?