GATification of traits and an empty lifetime

[felix.s]

Previously:

Opposite of &'static

Suppose I have two not entirely hypothetical traits Deserialize<'de> and Deserializer<'de> with the semantics that if T: Deserialize<'de> and D: Deserializer<'de> then I can use a deserializer of type D to get out a value of type T. fn do_the_thing<'de, T, D>(deserializer: D) -> T where T: Deserialize<'de>, D: Deserializer<'de>; Seems like the sort of thing somebody could build a library around. In any case, here are some impls: impl<'de: 'a, 'a> Deserialize<'de> for &'a str { /* ... …