Understanding assertInternalType