No, the App Store allowing you to download an app with an extension target that doesn’t match the current system. At the very least there should be a warning or a button to update iOS if that’s possible on the current device.