update docs for type_implements_trait

2021-08-25 11:39:35 -04:00
parent a216d666ca
commit d7d122faec
1 changed files with 4 additions and 0 deletions
--- 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,