Sort elaborated existential predicates in object_ty_for_trait
#102947
+43
−11
object_ty_for_trait
#102947