From 0d9877b5f7711a368b7e11d39b2f070a57177083 Mon Sep 17 00:00:00 2001
From: Jeremy Yallop <yallop@gmail.com>
Date: Tue, 12 Sep 2017 16:45:05 +0100
Subject: [PATCH] let-rec check: trivial module coercion is not an inspection.

---
 typing/typecore.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/typing/typecore.ml b/typing/typecore.ml
index 8573e59db730..f73c4fadef3f 100644
--- a/typing/typecore.ml
+++ b/typing/typecore.ml
@@ -2123,6 +2123,8 @@ struct
         Use.(join
                 (inspect (modexp env f))
                 (inspect (modexp env p)))
+      | Tmod_constraint (m, _, _, Tcoerce_none) ->
+        modexp env m
       | Tmod_constraint (m, _, _, _) ->
         Use.inspect (modexp env m)
       | Tmod_unpack (e, _) ->