public override void Validate(Environment env)
        {
            using var _ = env.Scopes.Use();
            Expr.Validate(env);
            Expr.AssertType(new BooleanType());

            Block.Validate(env);
        }