Skip to content

Delegation: fix ICE on bound_vars divergence#122881

Merged
bors merged 1 commit intorust-lang:masterfrom
Bryanskiy:delegation-fixes-2
Mar 25, 2024
Merged

Delegation: fix ICE on `bound_vars` divergence#122881
bors merged 1 commit intorust-lang:masterfrom
Bryanskiy:delegation-fixes-2

Commits

Commits on Mar 22, 2024