singletons-2.7: tests/compile-and-dump/Promote/Pragmas.golden

Promote/Pragmas.hs:(0,0)-(0,0): Splicing declarations
    promote
      [d| {-# INLINE foo #-}
          foo :: Bool
          foo = True |]
  ======>
    {-# INLINE foo #-}
    foo :: Bool
    foo = True
    type FooSym0 = Foo :: Bool
    type Foo :: Bool
    type family Foo where
      Foo = TrueSym0