<p><span class="h-card" translate="no"><a href="https://types.pl/@jeremysiek" class="u-url mention">@<span>jeremysiek</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@wilbowma" class="u-url mention">@<span>wilbowma</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@sliminality" class="u-url mention">@<span>sliminality</span></a></span> I guess I would prefer not to characterize either injection or projection from Dyn as an up or downcast, but it's definitely right that TR provides implicit casts to Dyn but not from Dyn.</p>
