ruff/resources at ef2616446a97e39abc19458daf7c44efa7a93f17 - ruff

History

cake-monotone c6efa93cf7 [red-knot] Handle special case returning `NotImplemented` (#17034 ) ## Summary Closes #16661 This PR includes two changes: - `NotImplementedType` is now a member of `KnownClass` - We skip `is_assignable_to` checks for `NotImplemented` when checking return types ### Limitation ```py def f(cond: bool) -> int: return 1 if cond else NotImplemented ``` The implementation covers cases where `NotImplemented` appears inside a `Union`. However, for more complex types (ex. `Intersection`) it will not worked. In my opinion, supporting such complexity is unnecessary at this point. ## Test Plan Two `mdtest` files were updated: - `mdtest/function/return_type.md` - `mdtest/type_properties/is_singleton.md` To test `KnownClass`, run: ```bash cargo test -p red_knot_python_semantic -- types::class:: ```	2025-03-30 11:06:12 -07:00
..
mdtest	[red-knot] Handle special case returning `NotImplemented` (#17034 )	2025-03-30 11:06:12 -07:00
README.md	[red-knot] document test framework (#13695 )	2024-10-10 12:02:01 -07:00

[red-knot] Handle special case returning `NotImplemented` (#17034 )

## Summary

Closes #16661

This PR includes two changes:

- `NotImplementedType` is now a member of `KnownClass`
- We skip `is_assignable_to` checks for `NotImplemented` when checking
return types

### Limitation

```py
def f(cond: bool) -> int:
    return 1 if cond else NotImplemented
```

The implementation covers cases where `NotImplemented` appears inside a
`Union`.
However, for more complex types (ex. `Intersection`) it will not worked.
In my opinion, supporting such complexity is unnecessary at this point.

## Test Plan

Two `mdtest` files were updated:

- `mdtest/function/return_type.md`
- `mdtest/type_properties/is_singleton.md`

To test `KnownClass`, run:
```bash
cargo test -p red_knot_python_semantic -- types::class::
```

2025-03-30 11:06:12 -07:00

mdtest

[red-knot] Handle special case returning `NotImplemented` (#17034 )

2025-03-30 11:06:12 -07:00

README.md

[red-knot] document test framework (#13695 )

2024-10-10 12:02:01 -07:00

README.md

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.