(* Was an anomaly at some time *)
Fail Class foo : Prop := { bar :> Set }.