about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEric Holk <ericholk@microsoft.com>2022-08-30 12:44:00 -0700
committerEric Holk <ericholk@microsoft.com>2022-09-13 14:50:12 -0700
commit6d544a8a4c9ab5cd4b228532e2501980881801b7 (patch)
treef20ebbb02dbadf6e6721fd6fe474a0a891cdaab4
parent02219239525517322c6e90339db2c8ca234f097f (diff)
downloadrust-6d544a8a4c9ab5cd4b228532e2501980881801b7.tar.gz
rust-6d544a8a4c9ab5cd4b228532e2501980881801b7.zip
Address code review comments
-rw-r--r--src/value_and_place.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/value_and_place.rs b/src/value_and_place.rs
index d58b52851ac..cfaadca9491 100644
--- 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);