[Merged by Bors] - chore: add cases_eliminator and induction_eliminator to some simple types
#17811
The logs for this run have expired and are no longer available.
Loading