Ensure at least one trait bound in TyKind::DynTy
#13264
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 19, 2022
Merged
Ensure at least one trait bound in `TyKind::DynTy`#13264bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom