mbe: Use concrete type for get_unused_rule#144292
Merged
bors merged 1 commit intoJul 23, 2025
Merged
The logs for this run have expired and are no longer available.
Loading
get_unused_rule#144292