Reified: Removed dead code of capture type checks