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