Upgrade path for user-provided server versions #5813
Description
Feature Request
| Q | A |
|---|---|
| New Feature | yes |
| RFC | no |
Summary
Our attempt to simplify the version parser for MySQL versions in #5779 has cause a series of issues because the version parser allowed version strings that would never appear in the wild, especially short versions like 8 instead of 8.0.0. The change has been reverted in #5795, but we kept it for 4.0. We should trigger a runtime deprecation if a server version has been configured that will not be recognized anymore when upgrading to 4.0.