Remove TcRnDeprecatedInvisTyArgInConPat mechanism
After this MR (milestoned for 9.14), the combination of ScopedTypeVariables + TypeApplications no longer enables the use of type applications in constructor patterns, as per GHC proposal #448.
This completes the deprecation that begun with GHC 9.8.
This MR also removes the -Wdeprecated-type-abstractions flag, which was introduced in GHC 9.10.
Edited by sheaf