about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
diff options
context:
space:
mode:
authorOli Scherer <github333195615777966@oli-obk.de>2024-12-19 08:57:49 +0000
committerOli Scherer <github333195615777966@oli-obk.de>2025-01-09 08:49:39 +0000
commit37f2998c6e7eeac6a5e4f1aaec9ab353bb2f7b0b (patch)
treeaee635f4120c7ca09832aa9a15a1a51086170424 /compiler/rustc_hir_analysis/src/collect
parent91b6b4e038b339982f8f7b79325a44f1a8cbb511 (diff)
downloadrust-37f2998c6e7eeac6a5e4f1aaec9ab353bb2f7b0b.tar.gz
rust-37f2998c6e7eeac6a5e4f1aaec9ab353bb2f7b0b.zip
Use trait definition cycle detection for trait alias definitions, too
Diffstat (limited to 'compiler/rustc_hir_analysis/src/collect')
-rw-r--r--compiler/rustc_hir_analysis/src/collect/predicates_of.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_hir_analysis/src/collect/predicates_of.rs b/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
index 0c19e2e4c51..02ccdd834ae 100644
--- a/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
+++ b/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
@@ -653,7 +653,7 @@ pub(super) fn implied_predicates_with_filter<'tcx>(
                 }
             }
         }
-        PredicateFilter::SelfAndAssociatedTypeBounds => {
+        PredicateFilter::All | PredicateFilter::SelfAndAssociatedTypeBounds => {
             for &(pred, span) in implied_bounds {
                 debug!("superbound: {:?}", pred);
                 if let ty::ClauseKind::Trait(bound) = pred.kind().skip_binder()