[GHC] #8745: GeneralizedNewtypeDeriving is still not Safe

[GHC]

#8745: GeneralizedNewtypeDeriving is still not Safe
-------------------------------------------------+-------------------------
        Reporter:  goldfire                      |            Owner:
            Type:  bug                           |           Status:  new
        Priority:  normal                        |        Milestone:  7.8.1
       Component:  Compiler                      |          Version:
      Resolution:                                |  7.8.1-rc1
Operating System:  Unknown/Multiple              |         Keywords:  Safe
 Type of failure:  None/Unknown                  |     Architecture:
       Test Case:                                |  Unknown/Multiple
  should_fail/TcCoercibleFailSafe                |       Difficulty:
        Blocking:                                |  Unknown
                                                 |       Blocked By:
                                                 |  Related Tickets:
-------------------------------------------------+-------------------------

Comment (by Austin Seipp <austin@…>):

 In [changeset:"f932b79948f0f8e2ac354cdcaea21c5b7c59a27a/base"]:
 {{{
 #!CommitTicketReference repository="base"
 revision="f932b79948f0f8e2ac354cdcaea21c5b7c59a27a"
 Create Data.Coerce (#8745)

 Data.Coerce is a Trustworthy module which safely exports both
 `Coercible` and `coerce` for use by users, as it can now be considered
 safe under role checking.

 See the ticket for details.

 Signed-off-by: Austin Seipp <austin at well-typed.com>
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8745#comment:21>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler