Skip to content

On type error involving closure, avoid ICE#116676

Merged
bors merged 1 commit intorust-lang:masterfrom estebank:issue-116658Oct 13, 2023
+69-1

Commits

Commits on Oct 12, 2023