test-suite/bugs/opened/3372.v


1
2
3
4
5

Set Universe Polymorphism.
Definition hProp : Type := sigT (fun _ : Type => True).
Fail Goal hProp@{Set}. (* Toplevel input, characters 15-32:
Anomaly: Uncaught exception Invalid_argument("Array.iter2", _).
Please report. *)