update comment on trait objects

aliemjay · web-flow · commit 43cb61046439 · 2023-01-27T12:43:29.000+03:00
diff --git a/compiler/rustc_hir_analysis/src/variance/constraints.rs b/compiler/rustc_hir_analysis/src/variance/constraints.rs
@@ -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() {

Original file line number	Diff line number	Diff line change
`@@ -253,7 +253,7 @@ impl<'a, 'tcx> ConstraintContext<'a, 'tcx> {`
`253`	`253`	`}`
`254`	`254`
`255`	`255`	`ty::Dynamic(data, r, _) => {`
`256`		- // The type `Foo<T + 'a>` is covariant w/r/t `'a`:
	`256`	+ // The type `dyn Trait<T> +'a` is covariant w/r/t `'a`:
`257`	`257`	`self.add_constraints_from_region(current, r, variance);`
`258`	`258`
`259`	`259`	`if let Some(poly_trait_ref) = data.principal() {`