Updated. But can you tell me why `exp->type->ty != Tenum`?