diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2025-01-18 05:26:20 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-18 05:26:20 +0900 |
| commit | 84fdb5177e809c96b913b3477f42e5805cc2a037 (patch) | |
| tree | 3dddac91790882cfec58929c473d19b816859105 /src/doc/rustc-dev-guide | |
| parent | b38aa65eec355f099c34a37638123aa3cb2bcaec (diff) | |
| parent | 80c664a382873c60ad0dc1e0b669ea7249739750 (diff) | |
| download | rust-84fdb5177e809c96b913b3477f42e5805cc2a037.tar.gz rust-84fdb5177e809c96b913b3477f42e5805cc2a037.zip | |
Merge pull request #2211 from patrickoliveira15/patch/inference-invariance
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/solve/invariants.md | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/doc/rustc-dev-guide/src/solve/invariants.md b/src/doc/rustc-dev-guide/src/solve/invariants.md index 588da490a44..fd12b195757 100644 --- a/src/doc/rustc-dev-guide/src/solve/invariants.md +++ b/src/doc/rustc-dev-guide/src/solve/invariants.md @@ -23,9 +23,6 @@ well-formed after normalizing said aliases. We rely on this as otherwise we would have to re-check for well-formedness for these types. -This is unfortunately broken for `<fndef as FnOnce<..>>::Output` due to implied bounds, -resulting in [#114936]. - ### Structural equality modulo regions implies semantic equality ✅ If you have a some type and equate it to itself after replacing any regions with unique |