From 06494742062e77036827dfc7c91dea507b44447f Mon Sep 17 00:00:00 2001 From: Adam Joseph Date: Mon, 31 Oct 2022 17:13:38 -0700 Subject: fix(tvix/eval): remove impl PartialEq for Value It isn't possible to implement PartialEq properly for Value, because any sensible implementation needs to force() thunks, which cannot be done without a `&mut VM`. The existing derive(PartialEq) has false negatives, which caused the bug which cl/7142 fixed. Fortunately that bug was easy to find, but a silent false negative deep within the bowels of nixpkgs could be a real nightmare to hunt down. Let's just remove the PartialEq impl for Value, and the other derive(PartialEq)'s that depend on it. Signed-off-by: Adam Joseph Change-Id: Iacd3726fefc7fc1edadcd7e9b586e04cf8466775 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7144 Reviewed-by: kanepyork Reviewed-by: tazjin Tested-by: BuildkiteCI --- tvix/eval/src/value/attrs/tests.rs | 35 +++++++++++++++++++++-------------- 1 file changed, 21 insertions(+), 14 deletions(-) (limited to 'tvix/eval/src/value/attrs') diff --git a/tvix/eval/src/value/attrs/tests.rs b/tvix/eval/src/value/attrs/tests.rs index 637114c89b..65d3c8d7ca 100644 --- a/tvix/eval/src/value/attrs/tests.rs +++ b/tvix/eval/src/value/attrs/tests.rs @@ -80,8 +80,9 @@ fn test_kv_attrs() { .expect("constructing K/V pair attrs should succeed"); match kv_attrs { - NixAttrs(AttrsRep::KV { name, value }) if name == meaning_val || value == forty_two_val => { - } + NixAttrs(AttrsRep::KV { name, value }) + if name.to_str().unwrap() == meaning_val.to_str().unwrap() + || value.to_str().unwrap() == forty_two_val.to_str().unwrap() => {} _ => panic!( "K/V attribute set should use optimised representation, but got {:?}", @@ -93,7 +94,7 @@ fn test_kv_attrs() { #[test] fn test_empty_attrs_iter() { let attrs = NixAttrs::construct(0, vec![]).unwrap(); - assert_eq!(attrs.iter().next(), None); + assert!(attrs.iter().next().is_none()); } #[test] @@ -114,13 +115,18 @@ fn test_kv_attrs_iter() { ) .expect("constructing K/V pair attrs should succeed"); - assert_eq!( - kv_attrs.iter().collect::>(), - vec![ - (NixString::NAME_REF, &meaning_val), - (NixString::VALUE_REF, &forty_two_val) - ] - ); + let mut iter = kv_attrs + .iter() + .collect::>() + .into_iter() + .map(|(k, v)| (k, v)); + let (k, v) = iter.next().unwrap(); + assert!(k == NixString::NAME_REF); + assert!(v.to_str().unwrap() == meaning_val.to_str().unwrap()); + let (k, v) = iter.next().unwrap(); + assert!(k == NixString::VALUE_REF); + assert!(v.as_int().unwrap() == forty_two_val.as_int().unwrap()); + assert!(iter.next().is_none()); } #[test] @@ -131,8 +137,9 @@ fn test_map_attrs_iter() { ) .expect("simple attr construction should succeed"); - assert_eq!( - attrs.iter().collect::>(), - vec![(&NixString::from("key"), &Value::String("value".into()))], - ); + let mut iter = attrs.iter().collect::>().into_iter(); + let (k, v) = iter.next().unwrap(); + assert!(k == &NixString::from("key")); + assert!(v.to_str().unwrap().as_str() == "value"); + assert!(iter.next().is_none()); } -- cgit 1.4.1