From 8dab21636aee8231d4cc2d88124d18a3bb954203 Mon Sep 17 00:00:00 2001
From: Nadrieril <nadrieril+git@gmail.com>
Date: Thu, 19 Sep 2024 14:16:57 +0200
Subject: [PATCH] Some comment tweaks

---
 frontend/exporter/src/traits.rs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/frontend/exporter/src/traits.rs b/frontend/exporter/src/traits.rs
index 4000a893a..fb2faddcf 100644
--- a/frontend/exporter/src/traits.rs
+++ b/frontend/exporter/src/traits.rs
@@ -230,6 +230,7 @@ pub mod rustc {
                 tcx: TyCtxt<'tcx>,
                 predicates: impl Iterator<Item = Predicate<'tcx>>,
             ) -> impl Iterator<Item = PolyTraitPredicate<'tcx>> {
+                // Warning: this skip_binder seems dangerous
                 let generics = self.skip_binder().trait_ref.args;
                 predicates
                     .filter_map(|pred| pred.as_trait_clause())
@@ -345,6 +346,7 @@ pub mod rustc {
                     });
                 }
                 for (item, binder) in candidate.pred.associated_items_trait_predicates(tcx) {
+                    // Warning: this skip_binder seems dangerous
                     for (index, parent_pred) in binder.skip_binder().into_iter() {
                         let mut path = candidate.path.clone();
                         path.push(PathChunk::AssocItem {
@@ -620,8 +622,8 @@ impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplExpr>
     }
 }
 
-/// `impl_did`, susbts correctly `Self` from `clause` and (1) derive a
-/// `Clause` and (2) resolve an `ImplExpr`.
+/// Given a clause `clause` in the context of some impl block `impl_did`, susbts correctly `Self`
+/// from `clause` and (1) derive a `Clause` and (2) resolve an `ImplExpr`.
 #[cfg(feature = "rustc")]
 pub fn super_clause_to_clause_and_impl_expr<'tcx, S: UnderOwnerState<'tcx>>(
     s: &S,