facet-assert: type inference

[vron]

Seems as if the type inference for the assert_same macro is not as good as for assert_eq, when migrating some test I run into a few of:

--> data.rs:75:23
   |
75 |     assert_same!(Some(None), pri.map(|v| v.sk));
   |                       ^^^^ cannot infer type of the type parameter `T` declared on the enum `Option`
   |
help: consider specifying the generic argument
   |
75 |     assert_same!(Some(None::<T>), pri.map(|v| v.sk));
   |                           +++++

[fasterthanlime]

That's because it's more flexible! It doesn't require both sides to be the "same type" at compile-time, merely for them to have the same shape. That's a feature not a bug.

I'm pretty sure that if you (in case you wanna submit a facet patch) if you declare assert_eq! and then constrain both sides to be the same type and then pass that along to assert_same!, then it might work 😅

[fasterthanlime]

(I'm still on bloat duty right now, cf. #1148)

[vron]

Noted, might do later yes, as of now on "getting my code to work with facet" duty :-)