Minor unsoundness fix with FnDef lifetimes - #156776
Draft
addiesh wants to merge 3 commits into
Draft
Commits
Commits on May 20, 2026
- committed
addie.sh
Commits on May 26, 2026
- committed
addie.sh - committed
addie.sh
FnDef lifetimes - #156776