Changes between Initial Version and Version 1 of Ticket #14331, comment 51


Ignore:
Timestamp:
Jan 11, 2018 5:33:27 PM (2 years ago)
Author:
goldfire
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14331, comment 51

    initial v1  
    1414
    1515This is currently accepted and in the testsuite as `deriving/should_compile/T11732c`. I think this should fail, because it requires unifying `k` with `Type`. There is useful commentary in #11732.
     16
     17In my work on #14066, I had to remove this line from the test case, leaving a note pointing to this ticket. Please update the test case when this ticket is finally put to rest.