Use array over vec for exists_many

This commit is contained in:
Richard Feldman 2022-04-09 10:09:03 -04:00 committed by GitHub
parent dd56fdb61c
commit e9acbe983f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -942,7 +942,7 @@ pub fn constrain_expr(
*variant_var,
);
constraints.exists_many(vec![*variant_var, *ext_var], vec![union_con])
constraints.exists_many([*variant_var, *ext_var], [union_con])
}
OpaqueRef {
opaque_var,