Fix infinite loop in type expansion

Reviewed By: jvillard Differential Revision: D2932218 fb-gh-sync-id: b656a8f shipit-source-id: b656a8f
9 years ago · 32a5cae175
parent 3db68bcb4c
commit 32a5cae175
1 changed files with 1 additions and 0 deletions
--- a/infer/src/backend/sil.ml
+++ b/infer/src/backend/sil.ml
@ -3831,6 +3831,7 @@ let rec expand_type tenv typ =
      begin
        match tenv_lookup tenv tname with
        | None -> assert false
        | Some (Tvar _) -> assert false
        | Some typ' -> expand_type tenv typ'
      end
  | _ -> typ