]> git.lizzy.rs Git - rust.git/commit
remove binder from query constraints
authorlcnr <rust@lcnr.de>
Tue, 7 Feb 2023 09:59:18 +0000 (10:59 +0100)
committerlcnr <rust@lcnr.de>
Tue, 7 Feb 2023 09:59:18 +0000 (10:59 +0100)
commita04f31dc34d56b28f1a92800e4682941c8bc41ec
tree703641482f0d17ec98a281895badf9ae5712f2bf
parentdffea43fc1102bdfe16d88ed412c23d4f0f08d9d
remove binder from query constraints
compiler/rustc_borrowck/src/type_check/constraint_conversion.rs
compiler/rustc_infer/src/infer/canonical/query_response.rs
compiler/rustc_middle/src/infer/canonical.rs