]> git.lizzy.rs Git - rust.git/commit
no subtyping in the new trait solver
authorMichael Goulet <michael@errs.io>
Wed, 18 Jan 2023 14:40:16 +0000 (14:40 +0000)
committerMichael Goulet <michael@errs.io>
Wed, 18 Jan 2023 14:59:15 +0000 (14:59 +0000)
commit34127c50803cc0a3c68f1f15480399e19d3813af
tree4b8a25c8457d93a59ca2ec676e5a72500fdc5943
parent685c32fd858acf107108abd6d35782532a0064e2
no subtyping in the new trait solver
compiler/rustc_trait_selection/src/solve/infcx_ext.rs
compiler/rustc_trait_selection/src/solve/project_goals.rs
compiler/rustc_trait_selection/src/solve/trait_goals.rs