hard deoptimizations