Fix #7539: Checker does not properly handle negative coinductive types.

The reduction machine of the checker was not taking into account the fact
that cofixpoints needed to be unfolded when applied against a projection.

0 files changed, 0 insertions, 0 deletions