rust/rustc_borrowck at 7740f9a571b3c6510607b17b29c81eeb24a7c79a - rust

mirror of https://github.com/rust-lang/rust.git synced 2024-11-26 00:34:06 +00:00

History

bors 1623ab0246 Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnr Implement `deferred_projection_equality` for erica solver Somewhat of a revival of #96912. When relating projections now emit an `AliasEq` obligation instead of attempting to determine equality of projections that may not be as normalized as possible (i.e. because of lazy norm, or just containing inference variables that prevent us from resolving an impl). Only do this when the new solver is enabled	2023-02-11 05:46:24 +00:00
..
src	Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnr	2023-02-11 05:46:24 +00:00
Cargo.toml	Do not use `hir_ty_to_ty`	2022-12-23 16:45:16 -08:00

bors 1623ab0246 Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnr

Implement `deferred_projection_equality` for erica solver

Somewhat of a revival of #96912. When relating projections now emit an `AliasEq` obligation instead of attempting to determine equality of projections that may not be as normalized as possible (i.e. because of lazy norm, or just containing inference variables that prevent us from resolving an impl). Only do this when the new solver is enabled

2023-02-11 05:46:24 +00:00

src Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnr 2023-02-11 05:46:24 +00:00

Cargo.toml Do not use hir_ty_to_ty 2022-12-23 16:45:16 -08:00