There was an ASSERT which does not hold during type checking (and
should not) which is later checked by Core Lint