Actually that would cause a runtime. The situation you just describe is where 95% of runtimes happen.
"I don't need to typecheck that, of COURSE the mob is going to have dna!"