DCE uses type analysis to elide type checks