Skip to content

Emits error if has bound regions#119215

Merged
bors merged 2 commits intorust-lang:masterfrom
mu001999-contrib:fix/119209
Dec 22, 2023
Merged

Emits error if has bound regions#119215
bors merged 2 commits intorust-lang:masterfrom
mu001999-contrib:fix/119209

Commits

Commits on Dec 22, 2023