vec: add negative-path tests for alloc conversion

newAM · newAM · commit 5dcb316ceda3 · 2025-04-06T17:55:09.000-07:00
diff --git a/src/vec/mod.rs b/src/vec/mod.rs
@@ -2166,6 +2166,9 @@ mod tests {
 
         let hv: Vec<u8, 2> = av.clone().try_into().unwrap();
         assert_eq!(hv.as_slice(), av.as_slice());
+
+        let _: crate::CapacityError =
+            <alloc::vec::Vec<u8> as TryInto<Vec<u8, 1>>>::try_into(av.clone()).unwrap_err();
     }
 
     fn _test_variance<'a: 'b, 'b>(x: Vec<&'a (), 42>) -> Vec<&'b (), 42> {

Original file line number	Diff line number	Diff line change
`@@ -2166,6 +2166,9 @@ mod tests {`
`2166`	`2166`
`2167`	`2167`	`let hv: Vec<u8, 2> = av.clone().try_into().unwrap();`
`2168`	`2168`	`assert_eq!(hv.as_slice(), av.as_slice());`
	`2169`	`+`
	`2170`	`+ let _: crate::CapacityError =`
	`2171`	`+ <alloc::vec::Vec<u8> as TryInto<Vec<u8, 1>>>::try_into(av.clone()).unwrap_err();`
`2169`	`2172`	`}`
`2170`	`2173`
`2171`	`2174`	`fn _test_variance<'a: 'b, 'b>(x: Vec<&'a (), 42>) -> Vec<&'b (), 42> {`