Wildcards in visible kind application

TcHsType.tcInferApps contains this terrible code

             ; ki_arg <- addErrCtxt (funAppCtxt orig_hs_ty hs_ki_arg n) $
                         unsetWOptM Opt_WarnPartialTypeSignatures $
                         setXOptM LangExt.PartialTypeSignatures $
                             -- Urgh!  see Note [Wildcards in visible kind application]
                             -- ToDo: must kill this ridiculous messing with DynFlags

It's a knock-on from the Visible Kind Application patch -- see the Note referred to above.

But it's ghastly and we must fix it. There's a GHC Proposal about this, but it's relatively ambitious. Maybe there is a shorter term thing we can do here.

Trac metadata

Trac field	Value
Version	8.6.3
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

mentioned in issue #16082

changed weight to 5

added Tbug Trac import labels

This is essentially #16082, but focusing more about code than user-facing design.

added Pnormal label

mentioned in merge request !2600 (merged)

mentioned in commit 2e141c71

mentioned in commit 4baf35b1

mentioned in commit 26aedf3d

mentioned in commit 79f0a901

mentioned in commit 2a57ffcd

mentioned in commit ace31631

mentioned in commit d84724b4

mentioned in commit a2fda5e1

mentioned in commit 3fff2812

mentioned in commit bcc9149f

mentioned in commit 9edcb502

mentioned in commit 11dbe3f2

mentioned in commit 1d118923

mentioned in commit fcb157d7