search

rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver
https://rust-lang.github.io/chalk/book/
Other
1.81k stars 179 forks source link

Fix dyn program clause generation and make returning a ClosureKind optional #785

Open jackh726 opened 1 year ago

jackh726 commented 1 year ago

When creating dyn ty program clauses, we need to use the ty returned from the builder, not the original self type.

ClosureKind change is iffy - likely not correct, but it changes some rustc integration ICEs to errors.

bors commented 1 year ago

:umbrella: The latest upstream changes (presumably #798) made this pull request unmergeable. Please resolve the merge conflicts.