Backport "Fix inductive-implicits benchmark" to 3.3 LTS#169

Merged

tgodzik merged 2 commits intolts-3.3from

backport-lts-3.3-22007

Mar 14, 2025

Commits on Mar 14, 2025

Delete duplicate inductive-implicits test

mbovel
authored and
tgodzik
committed
Comment out 35 more lines in inductive-implicits

mbovel
authored and
tgodzik
committed