The throw block deoptimization might not kick in under certain conditions, particularly when the method being analyzed still keeps a positive effect, so that’s possible.
Having said that this deoptimization does complicate the compiler’s behavior, so it’s slated for removal in the future.