Rename Negate => Not

Author: sharkdp

crates/red_knot_python_semantic/resources/mdtest/type_api.md

@@ -9,16 +9,16 @@ The Python language itself allows us to perform a variety of operations on types
 can build a union of types like `int | None`, or we can use type constructors such as `list[int]` or
 `type[int]` to create new types. But some type level operations that we rely on in Red Knot, like
 intersections, can not be expressed in Python. The `red_knot` module provides the `Intersection` and
-`Negate` type constructors which allows us to construct these types directly.
+`Not` type constructors which allows us to construct these types directly.
 
 ### Negation
 
 ```py
-from red_knot import Negate
+from red_knot import Not
 
-x: Negate[int]
-y: Negate[Negate[int]]
-z: Negate[Negate[Negate[int]]]
+x: Not[int]
+y: Not[Not[int]]
+z: Not[Not[Not[int]]]
 
 def _() -> None:
     reveal_type(x)  # revealed: ~int
@@ -29,11 +29,11 @@ def _() -> None:
 ### Intersection
 
 ```py
-from red_knot import Intersection, Negate, is_subtype_of, assert_true
+from red_knot import Intersection, Not, is_subtype_of, assert_true
 from typing_extensions import Never
 
 x1: Intersection[int, str]
-x2: Intersection[int, Negate[str]]
+x2: Intersection[int, Not[str]]
 
 def x() -> None:
     reveal_type(x1)  # revealed: int & str
@@ -48,7 +48,7 @@ def y() -> None:
     reveal_type(y2)  # revealed: bool
     reveal_type(y3)  # revealed: Never
 
-z1: Intersection[int, Negate[Literal[1]], Negate[Literal[2]]]
+z1: Intersection[int, Not[Literal[1]], Not[Literal[2]]]
 
 def z() -> None:
     reveal_type(z1)  # revealed: int & ~Literal[1] & ~Literal[2]

crates/red_knot_python_semantic/src/types/type_api.rs

@@ -40,7 +40,7 @@ pub(crate) fn resolve_type_operation<'db>(
     arguments: impl Iterator<Item = Type<'db>>,
 ) -> Result<Type<'db>> {
     match class.name(db).as_str() {
-        "Negate" => {
+        "Not" => {
             let ty = expect_one_argument(arguments)?;
             Ok(ty.negate(db))
         }

crates/red_knot_vendored/vendor/typeshed/stdlib/red_knot.pyi

@@ -3,7 +3,7 @@ from typing import TypeVarTuple
 Ts = TypeVarTuple("Ts")
 
 # Operations on types
-class Negate[T]: ...
+class Not[T]: ...
 class Intersection[*Ts]: ...
 class ClassLiteral[T]: ...