Skip to content

Auto merge of #567 - clarfonthey:needless-lifetimes, r=Amanieu #891

Auto merge of #567 - clarfonthey:needless-lifetimes, r=Amanieu

Auto merge of #567 - clarfonthey:needless-lifetimes, r=Amanieu #891

Annotations

1 warning

miri

succeeded Oct 7, 2024 in 1m 54s