Actually there used to be code to do that in some cases, which we deleted in an overzealous bit of deletion, and have been meaning to restore.