T6137 doesn't pass with reversed uniques

It fails with (full trace https://phabricator.haskell.org/P81):

*** Core Lint errors : in result of Tidy Core ***
<no location info>: warning:
    [in body of lambda with binder dt_a18nYf :: In
                                                  f_a18o2M
                                                  (Sum1 r_a18o2L (In ('F f_a18o2M) r_a18o2L))
                                                  o_a18o2K]
    Kind application error in
      coercion ‘Sym
                  (TFCo:R:InioFro[0]
                     <o_a18nYC>_N <i_a18nYD>_N <f_a18o2M>_N) <r_a18o2L>_N <o_a18o2K>_N’
      Function kind = Code (Sum i_a18nYD o_a18nYC) o_a18nYC -> *
      Arg kinds = [(o_a18o2K, o_a18nYC)]
<no location info>: warning:
    [in body of lambda with binder dt_a18nYf :: In
                                                  f_a18o2M
                                                  (Sum1 r_a18o2L (In ('F f_a18o2M) r_a18o2L))
                                                  o_a18o2K]
    Kind application error in
      coercion ‘Sym
                  (TFCo:R:InioFro[0]
                     <o_a18nYC>_N <i_a18nYD>_N <f_a18o2M>_N) <r_a18o2L>_N <o_a18o2K>_N’
      Function kind = Code (Sum i_a18nYD o_a18nYC) o_a18nYC -> *
      Arg kinds = [(o_a18o2K, o_a18nYC)]

Steps to reproduce:

1. Add line

TEST_HC_OPTS += -dinitial-unique=16777000 -dunique-increment=-1

after line

TEST_HC_OPTS = -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-$(GhcPackageDbFlag) -rtsopts $(EXTRA_HC_OPTS)

in mk/test.mk

1. make TESTS=T6137

Trac metadata

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