Skip to content

Document why we allow escaping bound vars in LTA norm#141363

Merged
bors merged 1 commit intorust-lang:masterfrom
BoxyUwU:doc_lta_norm_binders
May 22, 2025
Merged

Document why we allow escaping bound vars in LTA norm#141363
bors merged 1 commit intorust-lang:masterfrom
BoxyUwU:doc_lta_norm_binders

Commits

Commits on May 21, 2025