diff --git a/crates/red_knot_python_semantic/resources/mdtest/sys_version_info.md b/crates/red_knot_python_semantic/resources/mdtest/sys_version_info.md index a47643a002..afac3a5766 100644 --- a/crates/red_knot_python_semantic/resources/mdtest/sys_version_info.md +++ b/crates/red_knot_python_semantic/resources/mdtest/sys_version_info.md @@ -22,23 +22,23 @@ type: ```py import sys -reveal_type(sys.version_info >= (3, 8)) # revealed: Literal[True] -reveal_type((3, 8) <= sys.version_info) # revealed: Literal[True] +reveal_type(sys.version_info >= (3, 9)) # revealed: Literal[True] +reveal_type((3, 9) <= sys.version_info) # revealed: Literal[True] -reveal_type(sys.version_info > (3, 8)) # revealed: Literal[True] -reveal_type((3, 8) < sys.version_info) # revealed: Literal[True] +reveal_type(sys.version_info > (3, 9)) # revealed: Literal[True] +reveal_type((3, 9) < sys.version_info) # revealed: Literal[True] -reveal_type(sys.version_info < (3, 8)) # revealed: Literal[False] -reveal_type((3, 8) > sys.version_info) # revealed: Literal[False] +reveal_type(sys.version_info < (3, 9)) # revealed: Literal[False] +reveal_type((3, 9) > sys.version_info) # revealed: Literal[False] -reveal_type(sys.version_info <= (3, 8)) # revealed: Literal[False] -reveal_type((3, 8) >= sys.version_info) # revealed: Literal[False] +reveal_type(sys.version_info <= (3, 9)) # revealed: Literal[False] +reveal_type((3, 9) >= sys.version_info) # revealed: Literal[False] -reveal_type(sys.version_info == (3, 8)) # revealed: Literal[False] -reveal_type((3, 8) == sys.version_info) # revealed: Literal[False] +reveal_type(sys.version_info == (3, 9)) # revealed: Literal[False] +reveal_type((3, 9) == sys.version_info) # revealed: Literal[False] -reveal_type(sys.version_info != (3, 8)) # revealed: Literal[True] -reveal_type((3, 8) != sys.version_info) # revealed: Literal[True] +reveal_type(sys.version_info != (3, 9)) # revealed: Literal[True] +reveal_type((3, 9) != sys.version_info) # revealed: Literal[True] ``` ## Non-literal types from comparisons @@ -49,17 +49,17 @@ sometimes not: ```py import sys -reveal_type(sys.version_info >= (3, 8, 1)) # revealed: bool -reveal_type(sys.version_info >= (3, 8, 1, "final", 0)) # revealed: bool +reveal_type(sys.version_info >= (3, 9, 1)) # revealed: bool +reveal_type(sys.version_info >= (3, 9, 1, "final", 0)) # revealed: bool # TODO: While this won't fail at runtime, the user has probably made a mistake # if they're comparing a tuple of length >5 with `sys.version_info` # (`sys.version_info` is a tuple of length 5). It might be worth # emitting a lint diagnostic of some kind warning them about the probable error? -reveal_type(sys.version_info >= (3, 8, 1, "final", 0, 5)) # revealed: bool +reveal_type(sys.version_info >= (3, 9, 1, "final", 0, 5)) # revealed: bool # TODO: this should be `Literal[False]`; see #14279 -reveal_type(sys.version_info == (3, 8, 1, "finallllll", 0)) # revealed: bool +reveal_type(sys.version_info == (3, 9, 1, "finallllll", 0)) # revealed: bool ``` ## Imports and aliases @@ -71,11 +71,11 @@ another name: from sys import version_info from sys import version_info as foo -reveal_type(version_info >= (3, 8)) # revealed: Literal[True] -reveal_type(foo >= (3, 8)) # revealed: Literal[True] +reveal_type(version_info >= (3, 9)) # revealed: Literal[True] +reveal_type(foo >= (3, 9)) # revealed: Literal[True] bar = version_info -reveal_type(bar >= (3, 8)) # revealed: Literal[True] +reveal_type(bar >= (3, 9)) # revealed: Literal[True] ``` ## Non-stdlib modules named `sys` @@ -92,7 +92,7 @@ version_info: tuple[int, int] = (4, 2) ```py path=package/script.py from .sys import version_info -reveal_type(version_info >= (3, 8)) # revealed: bool +reveal_type(version_info >= (3, 9)) # revealed: bool ``` ## Accessing fields by name @@ -103,8 +103,8 @@ The fields of `sys.version_info` can be accessed by name: import sys reveal_type(sys.version_info.major >= 3) # revealed: Literal[True] -reveal_type(sys.version_info.minor >= 8) # revealed: Literal[True] -reveal_type(sys.version_info.minor >= 9) # revealed: Literal[False] +reveal_type(sys.version_info.minor >= 9) # revealed: Literal[True] +reveal_type(sys.version_info.minor >= 10) # revealed: Literal[False] ``` But the `micro`, `releaselevel` and `serial` fields are inferred as `@Todo` until we support @@ -126,14 +126,14 @@ The fields of `sys.version_info` can be accessed by index or by slice: import sys reveal_type(sys.version_info[0] < 3) # revealed: Literal[False] -reveal_type(sys.version_info[1] > 8) # revealed: Literal[False] +reveal_type(sys.version_info[1] > 9) # revealed: Literal[False] -# revealed: tuple[Literal[3], Literal[8], int, Literal["alpha", "beta", "candidate", "final"], int] +# revealed: tuple[Literal[3], Literal[9], int, Literal["alpha", "beta", "candidate", "final"], int] reveal_type(sys.version_info[:5]) -reveal_type(sys.version_info[:2] >= (3, 8)) # revealed: Literal[True] -reveal_type(sys.version_info[0:2] >= (3, 9)) # revealed: Literal[False] -reveal_type(sys.version_info[:3] >= (3, 9, 1)) # revealed: Literal[False] +reveal_type(sys.version_info[:2] >= (3, 9)) # revealed: Literal[True] +reveal_type(sys.version_info[0:2] >= (3, 10)) # revealed: Literal[False] +reveal_type(sys.version_info[:3] >= (3, 10, 1)) # revealed: Literal[False] reveal_type(sys.version_info[3] == "final") # revealed: bool reveal_type(sys.version_info[3] == "finalllllll") # revealed: Literal[False] ``` diff --git a/crates/red_knot_python_semantic/src/python_version.rs b/crates/red_knot_python_semantic/src/python_version.rs index b8fe608f98..37abc8bf50 100644 --- a/crates/red_knot_python_semantic/src/python_version.rs +++ b/crates/red_knot_python_semantic/src/python_version.rs @@ -39,7 +39,7 @@ impl PythonVersion { impl Default for PythonVersion { fn default() -> Self { - Self::PY38 + Self::PY39 } } diff --git a/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__member_pattern_matching_file.snap b/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__member_pattern_matching_file.snap index 9e6a35d1a5..8d646cd0bf 100644 --- a/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__member_pattern_matching_file.snap +++ b/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__member_pattern_matching_file.snap @@ -1,6 +1,7 @@ --- source: crates/red_knot_workspace/src/workspace/metadata.rs expression: "&workspace" +snapshot_kind: text --- WorkspaceMetadata( root: "/app", @@ -23,7 +24,7 @@ WorkspaceMetadata( program: ProgramSettings( target_version: PythonVersion( major: 3, - minor: 8, + minor: 9, ), search_paths: SearchPathSettings( extra_paths: [], diff --git a/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__member_pattern_matching_hidden_folder.snap b/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__member_pattern_matching_hidden_folder.snap index 04b4caf15a..f50c328118 100644 --- a/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__member_pattern_matching_hidden_folder.snap +++ b/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__member_pattern_matching_hidden_folder.snap @@ -1,6 +1,7 @@ --- source: crates/red_knot_workspace/src/workspace/metadata.rs expression: workspace +snapshot_kind: text --- WorkspaceMetadata( root: "/app", @@ -23,7 +24,7 @@ WorkspaceMetadata( program: ProgramSettings( target_version: PythonVersion( major: 3, - minor: 8, + minor: 9, ), search_paths: SearchPathSettings( extra_paths: [], diff --git a/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__package_without_pyproject.snap b/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__package_without_pyproject.snap index 152d9f3ee0..8cb518d671 100644 --- a/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__package_without_pyproject.snap +++ b/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__package_without_pyproject.snap @@ -1,6 +1,7 @@ --- source: crates/red_knot_workspace/src/workspace/metadata.rs expression: workspace +snapshot_kind: text --- WorkspaceMetadata( root: "/app", @@ -23,7 +24,7 @@ WorkspaceMetadata( program: ProgramSettings( target_version: PythonVersion( major: 3, - minor: 8, + minor: 9, ), search_paths: SearchPathSettings( extra_paths: [], diff --git a/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__single_package.snap b/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__single_package.snap index 4cb77791d8..f32ae744e5 100644 --- a/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__single_package.snap +++ b/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__single_package.snap @@ -1,6 +1,7 @@ --- source: crates/red_knot_workspace/src/workspace/metadata.rs expression: workspace +snapshot_kind: text --- WorkspaceMetadata( root: "/app", @@ -23,7 +24,7 @@ WorkspaceMetadata( program: ProgramSettings( target_version: PythonVersion( major: 3, - minor: 8, + minor: 9, ), search_paths: SearchPathSettings( extra_paths: [], diff --git a/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__workspace_excluded.snap b/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__workspace_excluded.snap index 374c648fc0..f171c524bf 100644 --- a/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__workspace_excluded.snap +++ b/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__workspace_excluded.snap @@ -1,6 +1,7 @@ --- source: crates/red_knot_workspace/src/workspace/metadata.rs expression: workspace +snapshot_kind: text --- WorkspaceMetadata( root: "/app", @@ -36,7 +37,7 @@ WorkspaceMetadata( program: ProgramSettings( target_version: PythonVersion( major: 3, - minor: 8, + minor: 9, ), search_paths: SearchPathSettings( extra_paths: [], diff --git a/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__workspace_members.snap b/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__workspace_members.snap index fb2496e020..cab4bbf98d 100644 --- a/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__workspace_members.snap +++ b/crates/red_knot_workspace/src/workspace/snapshots/red_knot_workspace__workspace__metadata__tests__workspace_members.snap @@ -1,6 +1,7 @@ --- source: crates/red_knot_workspace/src/workspace/metadata.rs expression: workspace +snapshot_kind: text --- WorkspaceMetadata( root: "/app", @@ -49,7 +50,7 @@ WorkspaceMetadata( program: ProgramSettings( target_version: PythonVersion( major: 3, - minor: 8, + minor: 9, ), search_paths: SearchPathSettings( extra_paths: [],