let-rec check: trivial module coercion is not an inspection.

ocaml · Sep 25, 2017 · 0d9877b · 0d9877b
1 parent 49f774e
commit 0d9877b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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, _) ->