diff options
| author | lcnr <rust@lcnr.de> | 2025-02-11 10:37:04 +0100 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-02-13 20:19:11 +0000 |
| commit | de273e459e4b0cbbcf7be68294a7d1fb25632b29 (patch) | |
| tree | 6e7d32bcb03c6eb81cbf8448bb13156b450f1812 /compiler/rustc_trait_selection/src/solve/inspect/analyse.rs | |
| parent | c241e146506600f5ab7f4026ff015df8a658400e (diff) | |
| download | rust-de273e459e4b0cbbcf7be68294a7d1fb25632b29.tar.gz rust-de273e459e4b0cbbcf7be68294a7d1fb25632b29.zip | |
normalizes-to rework rigid alias handling
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve/inspect/analyse.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/inspect/analyse.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/inspect/analyse.rs b/compiler/rustc_trait_selection/src/solve/inspect/analyse.rs index 9f4ee54bd4c..9fbc1d64d74 100644 --- a/compiler/rustc_trait_selection/src/solve/inspect/analyse.rs +++ b/compiler/rustc_trait_selection/src/solve/inspect/analyse.rs @@ -300,7 +300,6 @@ impl<'a, 'tcx> InspectGoal<'a, 'tcx> { inspect::ProbeKind::NormalizedSelfTyAssembly | inspect::ProbeKind::UnsizeAssembly | inspect::ProbeKind::Root { .. } - | inspect::ProbeKind::TryNormalizeNonRigid { .. } | inspect::ProbeKind::TraitCandidate { .. } | inspect::ProbeKind::OpaqueTypeStorageLookup { .. } | inspect::ProbeKind::RigidAlias { .. } => { @@ -325,7 +324,6 @@ impl<'a, 'tcx> InspectGoal<'a, 'tcx> { // We add a candidate even for the root evaluation if there // is only one way to prove a given goal, e.g. for `WellFormed`. inspect::ProbeKind::Root { result } - | inspect::ProbeKind::TryNormalizeNonRigid { result } | inspect::ProbeKind::TraitCandidate { source: _, result } | inspect::ProbeKind::OpaqueTypeStorageLookup { result } | inspect::ProbeKind::RigidAlias { result } => { |