test-suite/bugs/closed/6878.v


1
2
3
4
5
6
7
8


Set Universe Polymorphism.
Module Type T.
  Axiom foo : Prop.
End T.

(** Used to anomaly *)
Fail Module M : T with Definition foo := Type.