<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://mathstodon.xyz/@rg9119" class="u-url mention">@<span>rg9119</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> You should just think of `require/typed` as a cast from Dyn to whatever type you specify.</p><p>The way to characterize what TR does is that it (a) allows you to write explicit casts from Dyn to particular types and (b) automatically inserts injections to Dyn as needed and (c) doesn't allow any expressions of type Dyn other than references to definitions from "untyped" code that are then the input to a cast.</p>
