From a0e1291c2db0b76b6cfc31bc14466e5f620b9126 Mon Sep 17 00:00:00 2001
From: Santiago Pastorino <spastorino@gmail.com>
Date: Thu, 15 Jul 2021 09:47:33 -0300
Subject: [PATCH] Add `sub_types` docs

---
 compiler/rustc_mir/src/borrow_check/type_check/mod.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/rustc_mir/src/borrow_check/type_check/mod.rs b/compiler/rustc_mir/src/borrow_check/type_check/mod.rs
index b4fe3313e8a..d6c3ba61731 100644
--- a/compiler/rustc_mir/src/borrow_check/type_check/mod.rs
+++ b/compiler/rustc_mir/src/borrow_check/type_check/mod.rs
@@ -1119,6 +1119,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
         )
     }
 
+    /// Try to relate `sub <: sup`
     fn sub_types(
         &mut self,
         sub: Ty<'tcx>,