]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: fc11ee0 1de196f)
Auto merge of #106742 - compiler-errors:new-solver-make-it-not-ice, r=lcnr
authorbors <bors@rust-lang.org>
Sun, 15 Jan 2023 15:07:27 +0000 (15:07 +0000)
committerbors <bors@rust-lang.org>
Sun, 15 Jan 2023 15:07:27 +0000 (15:07 +0000)
commitae4d89dfb51535c1c43052ef848564bd2323c9ca
treee58d5b1bef2947d2d676b2e996992f538ef0596atree | snapshot
parentfc11ee02ee91b32e23684cd478bca80fe5323b47commit | diff
parent1de196fef308c236aee8804c7b452ad5f5bbaf88commit | diff
Auto merge of #106742 - compiler-errors:new-solver-make-it-not-ice, r=lcnr

Implement some FIXME methods in the new trait solver

Implement just enough of the solver's response logic to make it not ICE.

Also, fix a bug with `no_bound_vars` call failing due to canonical bound vars.

r? `@lcnr`
compiler/rustc_middle/src/ty/sty.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.