don't skip inference for type in offset_of!

Lukas Markeffsky · Lukas Markeffsky · commit 4546c8c32009 · 2023-05-20T15:20:27.000+02:00
diff --git a/core/tests/mem.rs b/core/tests/mem.rs
@@ -394,13 +394,18 @@ fn offset_of() {
         z: T
     }
 
+    trait Trait {}
+
     // Ensure that this type of generics works
     fn offs_of_z<T>() -> usize {
         offset_of!(Generic<T>, z)
     }
 
     assert_eq!(offset_of!(Generic<u8>, z), 8);
     assert_eq!(offs_of_z::<u8>(), 8);
+
+    // Ensure that it works with the implicit lifetime in `Box<dyn Trait + '_>`.
+    assert_eq!(offset_of!(Generic<Box<dyn Trait>>, z), 8);
 }
 
 #[test]

Original file line number	Diff line number	Diff line change
`@@ -394,13 +394,18 @@ fn offset_of() {`
`394`	`394`	`z: T`
`395`	`395`	`}`
`396`	`396`
	`397`	`+ trait Trait {}`
	`398`	`+`
`397`	`399`	`// Ensure that this type of generics works`
`398`	`400`	`fn offs_of_z<T>() -> usize {`
`399`	`401`	`offset_of!(Generic<T>, z)`
`400`	`402`	`}`
`401`	`403`
`402`	`404`	`assert_eq!(offset_of!(Generic<u8>, z), 8);`
`403`	`405`	`assert_eq!(offs_of_z::<u8>(), 8);`
	`406`	`+`
	`407`	+ // Ensure that it works with the implicit lifetime in `Box<dyn Trait + '_>`.
	`408`	`+ assert_eq!(offset_of!(Generic<Box<dyn Trait>>, z), 8);`
`404`	`409`	`}`
`405`	`410`
`406`	`411`	`#[test]`