Split doesn't respect type indices

[googleson78]

Version:

0227133dc5651cdc2da367923f5a27592465de46

(current master)

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}

data A b where
  ATrue :: A True
  AFalse :: A False

f :: A True -> ()
f x = _

Doing a case split here generates both cases, even though one of them is unreachable.

I would expect only ATrue to be generated.

[isovector]

I can't reproduce this. The result on my machine:

f :: A True -> ()
f ATrue = _

[isovector]

Ah, this was fixed in #1733:

ef90289#diff-343e22cc186f5a0f1a02eaabd5ad1126135512fac7cb67f9e535511ef2b2bb7eR59