Fix some more foralls.

OStevan · OStevan · commit bd10edc11dec · 2020-08-13T11:23:23.000+02:00
diff --git a/frontends/library/stainless/collection/List.scala b/frontends/library/stainless/collection/List.scala
@@ -1300,7 +1300,7 @@ object ListSpecs {
     val intersection = first & second
     intersection.forall(first.contains) &&
       intersection.forall(second.contains) &&
-      forall((elem: T) => intersection.contains(elem) == (first.contains(elem) && second.contains(elem)))
+      intersection.forall(value => first.contains(value) && second.contains(value))
   }
 
   @opaque

Original file line number	Diff line number	Diff line change
`@@ -1300,7 +1300,7 @@ object ListSpecs {`
`1300`	`1300`	`val intersection = first & second`
`1301`	`1301`	`intersection.forall(first.contains) &&`
`1302`	`1302`	`intersection.forall(second.contains) &&`
`1303`		`- forall((elem: T) => intersection.contains(elem) == (first.contains(elem) && second.contains(elem)))`
	`1303`	`+ intersection.forall(value => first.contains(value) && second.contains(value))`
`1304`	`1304`	`}`
`1305`	`1305`
`1306`	`1306`	`@opaque`