Skip to content

fix: well-formed goals for tuples, arrays, and slices in next-solver - #23490

Closed
GauravPawar101 wants to merge 0 commit into
rust-lang:masterfrom
GauravPawar101:fix/issue-23475
Closed

GauravPawar101 wants to merge 0 commit into
rust-lang:masterfrom
GauravPawar101:fix/issue-23475

GauravPawar101:fix/issue-23475 was force-pushed and no longer has any new commits.

Pushing new commits will allow the pull request to be re-opened.