remove repeated call to get_desc

ocaml · May 31, 2021 · 9d866b5 · 9d866b5
1 parent c665e96
commit 9d866b5
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/typing/ctype.ml b/typing/ctype.ml
@@ -1060,7 +1060,7 @@ let rec copy ?partial ?keep_names scope ty =
   let copy = copy ?partial ?keep_names scope in
   match get_desc ty with
     Tsubst (ty, _) -> ty
-  | _ ->
+  | desc ->
     let level = get_level ty in
     if level <> generic_level && partial = None then ty else
     (* We only forget types that are non generic and do not contain
@@ -1075,7 +1075,6 @@ let rec copy ?partial ?keep_names scope ty =
           else generic_level
     in
     if forget <> generic_level then newty2 ~level:forget (Tvar None) else
-    let desc = get_desc ty in
     let t = newstub ~scope:(get_scope ty) in
     For_copy.redirect_desc scope ty (Tsubst (t, None));
     let desc' =