T15550.hs:(4,2)-(8,7): Splicing declarations
    [d| {-# RULES "myId" forall x. myId x = x #-}
        
        myId :: a -> a
        myId x = x
        {-# NOINLINE [1] myId #-} |]
  ======>
    myId :: a -> a
    myId x = x
    {-# NOINLINE [1] myId #-}
    {-# RULES "myId" forall x. myId x = x #-}