add comment

2023-01-18 08:08:58 +01:00 · 2023-01-18 08:08:58 +01:00 · 369f9aa099
commit 369f9aa099
parent 415aa663a2
1 changed files with 1 additions and 0 deletions
--- a/compiler/rustc_trait_selection/src/solve/project_goals.rs
+++ b/compiler/rustc_trait_selection/src/solve/project_goals.rs
@ -82,6 +82,7 @@ fn term_is_fully_unconstrained(&self, goal: Goal<'tcx, ProjectionPredicate<'tcx>
            }
        };

+        // Guard against `<T as Trait<?0>>::Assoc = ?0>`.
        struct ContainsTerm<'tcx> {
            term: ty::Term<'tcx>,
        }