Skip to content
  • Richard Eisenberg's avatar
    Fix #8773. · 13829758
    Richard Eisenberg authored
    To make a role annotation on a class asserting a role other than
    nominal, you now need -XIncoherentInstances. See the ticket for
    more information as to why this is a good idea.
    13829758