Commit 2024-02-10 22:15 25c2e96a

fix(Testing/SlimCheck/Testable): do not call inferType on an expression with bvars (#9722) Fixes a bug reported twice on Zulip:

• https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/slim_check.20question/near/412709012
• https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/slim_check.20giving.20wrong.20counterexamples.3F/near/420008365 Both test-cases are included