diff --git a/lattices/tests/compile-fail/non_lattice_field.stderr b/lattices/tests/compile-fail/non_lattice_field.stderr index 15cfb3b313c3..bdb2390dcfd0 100644 --- a/lattices/tests/compile-fail/non_lattice_field.stderr +++ b/lattices/tests/compile-fail/non_lattice_field.stderr @@ -8,11 +8,11 @@ error[E0277]: the trait bound `String: Merge` is not satisfied <() as Merge<()>> as Merge>> as Merge>> + as Merge>> + as Merge>> + as Merge>> as Merge>> as Merge>> - as Merge>> - as Merge>> - > and $N others = help: see issue #48214 = note: this error originates in the derive macro `Lattice` (in Nightly builds, run with -Z macro-backtrace for more info) @@ -31,11 +31,11 @@ error[E0277]: the trait bound `String: IsBot` is not satisfied () Conflict DomPair + GHT + GhtInner + GhtLeaf MapUnion MapUnionWithTombstones - Max<()> - Max - Max and $N others = help: see issue #48214 = note: this error originates in the derive macro `Lattice` (in Nightly builds, run with -Z macro-backtrace for more info) @@ -54,11 +54,11 @@ error[E0277]: the trait bound `String: IsTop` is not satisfied () Conflict DomPair + GHT + GhtInner + GhtLeaf MapUnion MapUnionWithTombstones - Max<()> - Max - Max and $N others = help: see issue #48214 = note: this error originates in the derive macro `Lattice` (in Nightly builds, run with -Z macro-backtrace for more info)