Address code review comments

eholk · eholk · commit 6d544a8a4c9a · 2022-09-13T14:50:12.000-07:00
diff --git a/src/value_and_place.rs b/src/value_and_place.rs
@@ -816,6 +816,7 @@ pub(crate) fn assert_assignable<'tcx>(
             // fn(&T) -> for<'l> fn(&'l T) is allowed
         }
         (&ty::Dynamic(from_traits, _, _from_kind), &ty::Dynamic(to_traits, _, _to_kind)) => {
+            // FIXME(dyn-star): Do the right thing with DynKinds
             for (from, to) in from_traits.iter().zip(to_traits) {
                 let from =
                     fx.tcx.normalize_erasing_late_bound_regions(ParamEnv::reveal_all(), from);

Original file line number	Diff line number	Diff line change
`@@ -816,6 +816,7 @@ pub(crate) fn assert_assignable<'tcx>(`
`816`	`816`	`// fn(&T) -> for<'l> fn(&'l T) is allowed`
`817`	`817`	`}`
`818`	`818`	`(&ty::Dynamic(from_traits, _, _from_kind), &ty::Dynamic(to_traits, _, _to_kind)) => {`
	`819`	`+ // FIXME(dyn-star): Do the right thing with DynKinds`
`819`	`820`	`for (from, to) in from_traits.iter().zip(to_traits) {`
`820`	`821`	`let from =`
`821`	`822`	`fx.tcx.normalize_erasing_late_bound_regions(ParamEnv::reveal_all(), from);`