Account for impossible bounds making seemingly unsatisfyable dyn-to-dyn casts#145620
Merged
bors merged 2 commits intorust-lang:masterfrom Aug 25, 2025
Merged
Account for impossible bounds making seemingly unsatisfyable dyn-to-dyn casts#145620bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom