[commit: ghc] wip/T9732's head updated: Binding things matched by an unboxed pattern synonym should require a bang (e5e18a7)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

Branch 'wip/T9732' now includes:

     a47ff8b Fixed T5435_dyn_asm on Windows. The test code was not in sync with the expected output.
     f688f03 Test #9262 in th/T9262, and update other tests.
     2cc593d Bring unbound tyvars into scope during reifyInstances.
     b174288 Test #8953 in th/T8953
     9fd19f9 Always use KindedTV when reifying. (#8953)
     593e8b9 Annotate reified poly-kinded tycons when necessary. (#8953)
     c3ecf06 Annotate poly-kinded type patterns in instance reification.
     99882ba Testsuite wibbles from fixing #8953
     862772b Test #9084 in th/T9084.
     03d61cc Fix #9084 by calling notHandled when unknown bits are enountered.
     17265c0 Fix testsuite output from #9084.
     752b5e2 Test #9738 in th/T9738
     209baea Fix #9738, by handling {-# ANN ... #-} in DsMeta.
     18a4a5d Update release notes for #9262 #8953 #9084.
     96c22d9 Tweak the error message for pattern synonym methods, since they are disallowed both in class and instance declarations
     0f7fa84 In pattern synonym matchers, support unboxed continuation results.
     27419ee Add a dummy Void# argument to pattern synonym wrapper if it has no arguments and returns an unboxed type (see #9732)
     e5e18a7 Binding things matched by an unboxed pattern synonym should require a bang