From 32a5cae1751cbd9af72de52d8f6f754ed7559e7d Mon Sep 17 00:00:00 2001
From: Andrzej Kotulski <akotulski@fb.com>
Date: Mon, 15 Feb 2016 03:23:57 -0800
Subject: [PATCH] Fix infinite loop in type expansion

Reviewed By: jvillard

Differential Revision: D2932218

fb-gh-sync-id: b656a8f
shipit-source-id: b656a8f
---
 infer/src/backend/sil.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/src/backend/sil.ml b/infer/src/backend/sil.ml
index 6b46dfa31..99b0be59c 100644
--- 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