update docs for type_implements_trait

rust-lang · Aug 25, 2021 · d7d122f · d7d122f
1 parent a216d66
commit d7d122f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/compiler/rustc_trait_selection/src/infer.rs b/compiler/rustc_trait_selection/src/infer.rs
@@ -44,6 +44,10 @@ pub trait InferCtxtExt<'tcx> {
     /// - the self type
     /// - the *other* type parameters of the trait, excluding the self-type
     /// - the parameter environment
+    ///
+    /// Invokes `evaluate_obligation`, so in the event that evaluating
+    /// `Ty: Trait` causes overflow, EvaluatedToRecur (or EvaluatedToUnknown) 
+    /// will be returned.
     fn type_implements_trait(
         &self,
         trait_def_id: DefId,