This example contains a W-expression.

It can be proven that a W-expression can never have any population at all. For this reason, the type checker should forbid it.