w

Author: lcnr

compiler/rustc_next_trait_solver/src/solve/trait_goals.rs

@@ -193,9 +193,9 @@ where
         // To avoid this we don't try to leak auto trait bounds if they can also be proven via
         // item bounds of the opaque. These bounds are always applicable as auto traits must not
         // have any generic parameters. They would also get preferred over the impl candidate
-        // when merging candidates anyways.
+        // when merging candidates anyways. We 
         //
-        // See tests/ui/
+        // See tests/ui/impl-trait/auto-trait-leakage/avoid-query-cycle-via-item-bound.rs.
         if let ty::Alias(ty::Opaque, opaque_ty) = goal.predicate.self_ty().kind() {
             debug_assert!(ecx.opaque_type_is_rigid(opaque_ty.def_id));
             for item_bound in cx.item_self_bounds(opaque_ty.def_id).skip_binder() {