Wingman can't split type family

[isovector]

{-# LANGUAGE TypeFamilies #-}

module Lib where

type family Yo where
    Yo = Bool

test :: Yo -> Int
test b = _

Running Destruct b at the hole prints an internal error, I guess because there are no data constructors. Pretty sure this used to work, so not sure when it regressed.