File "pr6870_bad.ml", line 10, characters 48-50:
10 | module Fix (T : T) = struct type r = ('r T.t as 'r) end
                                                     ^^
Error: This alias is bound to type "'a T.t" but is used as an instance of type
         "'a"
       The type variable "'a" occurs inside "'a T.t"