6f1cf5b686
## Summary `bool()` is equal to `False`, and we infer `Literal[False]` for it. Which means that the test here will fail as soon as we treat the body of this `if` as unreachable.
Markdown files within the mdtest/ subdirectory are tests of type inference and type checking;
executed by the tests/mdtest.rs integration test.
See crates/red_knot_test/README.md for documentation of this test format.