From fbceffc7caf571782b902d978e0eb0575ca7cdd5 Mon Sep 17 00:00:00 2001 From: Patrick Oliveira Date: Fri, 17 Jan 2025 12:04:42 -0300 Subject: [PATCH] remove outdated text about wfx implies --- src/solve/invariants.md | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/solve/invariants.md b/src/solve/invariants.md index 588da490a..fd12b1957 100644 --- a/src/solve/invariants.md +++ b/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 `>::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