diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2021-07-15 09:47:33 -0300 |
|---|---|---|
| committer | Santiago Pastorino <spastorino@gmail.com> | 2021-07-18 09:30:11 -0300 |
| commit | a0e1291c2db0b76b6cfc31bc14466e5f620b9126 (patch) | |
| tree | 2107ebdc403d2691e358d59d7fe4526dfe0fc42b | |
| parent | ba1e13fa668ee8e634030c90714a091d8dbfc73a (diff) | |
| download | rust-a0e1291c2db0b76b6cfc31bc14466e5f620b9126.tar.gz rust-a0e1291c2db0b76b6cfc31bc14466e5f620b9126.zip | |
Add `sub_types` docs
| -rw-r--r-- | compiler/rustc_mir/src/borrow_check/type_check/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
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>, |