Add new opaque_over_existential
rule
#5915
+128
−16
Open
Loading