Add sub_types docs

This commit is contained in:
Santiago Pastorino 2021-07-15 09:47:33 -03:00
parent ba1e13fa66
commit a0e1291c2d
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF

View file

@ -1119,6 +1119,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
) )
} }
/// Try to relate `sub <: sup`
fn sub_types( fn sub_types(
&mut self, &mut self,
sub: Ty<'tcx>, sub: Ty<'tcx>,