Cast empty Vec<&'a T> to Vec<&'static T>

Because the vector has zero elements.

2 Likes

Oh, exactly. Now it's all clear

If you're curious, this one is the library doing a bunch of work to detect the cases, with things like

Because it was just cleared, so it's never actually called.

(Hyeonu used &42 because that makes the types work out more directly, but it wasn't called either. unreachable!() is -> !, so it can coerce to anything.)

2 Likes

Hence "unreachable"

That is so awesome, thank you!

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.