perf: inline `Expr.hasExprMVar`

src/Lean/Expr.lean

diff --git a/src/Lean/Expr.lean b/src/Lean/Expr.lean
index e03f24c..80a7ebd 100644
--- a/src/Lean/Expr.lean
+++ b/src/Lean/Expr.lean
@@ -140,9 +140,11 @@
 def Expr.Data.looseBVarRange (c : Expr.Data) : UInt32 :=
   (c.shiftRight 44).toUInt32
 
+@[inline]
 def Expr.Data.hasFVar (c : Expr.Data) : Bool :=
   ((c.shiftRight 40).land 1) == 1
 
+@[inline]
 def Expr.Data.hasExprMVar (c : Expr.Data) : Bool :=
   ((c.shiftRight 41).land 1) == 1
 
@@ -532,6 +534,7 @@
 Return `true` if `e` contains free variables.
 This is a constant time operation.
 -/
+@[inline]
 def hasFVar (e : Expr) : Bool :=
   e.data.hasFVar
 
@@ -539,6 +542,7 @@
 Return `true` if `e` contains expression metavariables.
 This is a constant time operation.
 -/
+@[inline]
 def hasExprMVar (e : Expr) : Bool :=
   e.data.hasExprMVar