update comment on trait objects

This commit is contained in:
Ali MJ Al-Nasrawy 2023-01-27 12:43:29 +03:00 committed by GitHub
parent 381187dc76
commit 43cb610464
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -253,7 +253,7 @@ impl<'a, 'tcx> ConstraintContext<'a, 'tcx> {
}
ty::Dynamic(data, r, _) => {
// The type `Foo<T + 'a>` is covariant w/r/t `'a`:
// The type `dyn Trait<T> +'a` is covariant w/r/t `'a`:
self.add_constraints_from_region(current, r, variance);
if let Some(poly_trait_ref) = data.principal() {