new test now passes, as expected

Author: ccasin

ocaml/testsuite/tests/typing-layouts/modules.ml

@@ -722,17 +722,8 @@ end
 
 let x = (module C : S with type t = 'a)
 
-(* This should be accepted *)
 [%%expect{|
 module type S = sig type t : any end
 module C : S
-Line 9, characters 8-39:
-9 | let x = (module C : S with type t = 'a)
-            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
-Error: This expression has type (module S with type t = C.t)
-       but an expression was expected of type (module S with type t = 'a)
-       The layout of C.t is any, because
-         of the definition of t at line 2, characters 2-14.
-       But the layout of C.t must be a sublayout of value, because
-         it's a type declaration in a first-class module.
+val x : (module S with type t = C.t) = <module>
 |}]