[CRATER] separate type equality from mutual subtyping by lcnr · Pull Request #97427

[CRATER] separate type equality from mutual subtyping by lcnr · Pull Request #97427 · rust-lang/rust

Relevant to the compiler team, which will review and decide on the PR/issue.

label

May 26, 2022

lcnr changed the title ~~[CRATER] separate type equality from bidirectional subtyping~~ [CRATER] separate type equality from mutual subtyping

May 30, 2022

lcnr mentioned this pull request

Aug 29, 2022

bors added a commit to rust-lang-ci/rust that referenced this pull request

Nov 24, 2023

…r=<try>

Fix for TypeId exposes equality-by-subtyping vs normal-form-syntactic-equality unsoundness

Fixes rust-lang#97156

This PR revives rust-lang#97427 idea, it sits on top of rust-lang#118118 because the idea uncovered some problems with IATs.

r? `@lcnr`

This is ICEing yet for `tests/ui/traits/new-solver/escaping-bound-vars-in-writeback-normalization.rs` using the new trait solver.
After rust-lang#118118 and this ICE is fixed, we would need a rebase and a crater run.

Opening as a WIP for now.

bors added a commit to rust-lang-ci/rust that referenced this pull request

Nov 28, 2023

…r=<try>

Fix for TypeId exposes equality-by-subtyping vs normal-form-syntactic-equality unsoundness

Fixes rust-lang#97156

This PR revives rust-lang#97427 idea, it sits on top of rust-lang#118118 because the idea uncovered some problems with IATs.

r? `@lcnr`

This is ICEing yet for `tests/ui/traits/new-solver/escaping-bound-vars-in-writeback-normalization.rs` using the new trait solver.
After rust-lang#118118 and this ICE is fixed, we would need a rebase and a crater run.

Opening as a WIP for now.

bors added a commit to rust-lang-ci/rust that referenced this pull request

Dec 6, 2023

…r=<try>

Fix for TypeId exposes equality-by-subtyping vs normal-form-syntactic-equality unsoundness

Fixes rust-lang#97156

This PR revives rust-lang#97427 idea.

r? `@lcnr`

bors added a commit to rust-lang-ci/rust that referenced this pull request

Dec 7, 2023

…r=<try>

Fix for TypeId exposes equality-by-subtyping vs normal-form-syntactic-equality unsoundness

Fixes rust-lang#97156

This PR revives rust-lang#97427 idea.

r? `@lcnr`