Selenium2Driver and BrowserKitDriver are updated to handle those cases properly in the the PRs adding phpstan (except for the case of radio and select in BrowserKitDriver, where phpstan was not catching an issue but we were getting a non-Mink exception later), all those cases were caught by phpstan and those new test provide test coverage for the new code paths triggering exceptions.
Selenium2Driver and BrowserKitDriver are updated to handle those cases properly in the the PRs adding phpstan (except for the case of radio and select in BrowserKitDriver, where phpstan was not catching an issue but we were getting a non-Mink exception later), all those cases were caught by phpstan and those new test provide test coverage for the new code paths triggering exceptions.