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