Type inference: Remove ParenExpr

Author: hvitved

rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll

@@ -2322,11 +2322,6 @@ private module Input3 implements InputSig3 {
 
   class AssignExpr extends AssignmentImpl, Rust::AssignmentExpr { }
 
-  // Required by the shared type-inference signature; parenthesized expressions are transparent.
-  abstract class ParenExpr extends Expr {
-    Expr getExpr() { none() }
-  }
-
   final class Declaration = DeclarationImpl;
 
   abstract private class DeclarationImpl extends AstNode {

shared/typeinference/codeql/typeinference/internal/TypeInference.qll

@@ -2220,11 +2220,6 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
       /** A simple assignment expression, for example `x = y`. */
       class AssignExpr extends Assignment;
 
-      /** A parenthesized expression. */
-      class ParenExpr extends Expr {
-        Expr getExpr();
-      }
-
       /**
        * A variable, or an entity that behaves like a variable with respect to
        * type inference, for example a local variable, `const` item, or `static`
@@ -2774,8 +2769,6 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
               n1 = decl.getInitializer() and
               n2 = decl.getPattern()
             )
-            or
-            n1 = n2.(ParenExpr).getExpr()
           )
         }
 

unified/ql/lib/codeql/unified/internal/typeinference/TypeInference.qll

@@ -182,12 +182,6 @@ module Input3 implements InputSig3 {
 
   class AssignExpr extends Assignment, Unified::AssignExpr { }
 
-  class ParenExpr extends Expr {
-    ParenExpr() { none() }
-
-    Expr getExpr() { none() }
-  }
-
   private newtype TDeclaration =
     TAstVariableDeclaration(Unified::VariableDeclaration decl) or
     TCallableDeclaration(Unified::Callable c) or