clarify fn discriminant guarantees: only free lifetimes may get erased#118006
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 18, 2023
fn discriminant guarantees: only free lifetimes may get erased#118006