Merge branch 'main' into dcreager/promote-literals

* main:
  [ty] Infer function call typevars in both directions (#18155)
  Add rustfmt.toml file (#18197)
  [ty] Update mypy primer (#18196)
  [ty] Mark generated files as such in .gitattributes (#18195)
  [ty] Support `typing.TypeAliasType` (#18156)

Author: dcreager

.gitattributes

@@ -21,6 +21,7 @@ crates/ruff_linter/resources/test/fixtures/pyupgrade/UP018_LF.py text eol=lf
 crates/ruff_python_parser/resources/inline linguist-generated=true
 
 ruff.schema.json -diff linguist-generated=true text=auto eol=lf
+ty.schema.json -diff linguist-generated=true text=auto eol=lf
 crates/ruff_python_ast/src/generated.rs -diff linguist-generated=true text=auto eol=lf
 crates/ruff_python_formatter/src/generated.rs -diff linguist-generated=true text=auto eol=lf
 *.md.snap linguist-language=Markdown

.github/workflows/mypy_primer.yaml

@@ -69,7 +69,7 @@ jobs:
           echo "Project selector: $PRIMER_SELECTOR"
           # Allow the exit code to be 0 or 1, only fail for actual mypy_primer crashes/bugs
           uvx \
-            --from="git+https://github.com/hauntsaninja/mypy_primer@968b2b61c05f84462d6fcc78d2f5205bbb8b98c2" \
+            --from="git+https://github.com/hauntsaninja/mypy_primer@01a7ca325f674433c58e02416a867178d1571128" \
             mypy_primer \
             --repo ruff \
             --type-checker ty \

Cargo.toml

@@ -3,6 +3,7 @@ members = ["crates/*"]
 resolver = "2"
 
 [workspace.package]
+# Please update rustfmt.toml when bumping the Rust edition
 edition = "2024"
 rust-version = "1.85"
 homepage = "https://docs.astral.sh/ruff"

crates/ruff_text_size/Cargo.toml

@@ -2,8 +2,13 @@
 name = "ruff_text_size"
 version = "0.0.0"
 publish = false
-edition = "2021"
-rust-version = "1.67.1"
+authors = { workspace = true }
+edition = { workspace = true }
+rust-version = { workspace = true }
+homepage = { workspace = true }
+documentation = { workspace = true }
+repository = { workspace = true }
+license = { workspace = true }
 
 [dependencies]
 serde = { workspace = true, optional = true }

crates/ruff_text_size/src/schemars_impls.rs

@@ -6,7 +6,7 @@
 //! bindings to the Workspace API
 
 use crate::{TextRange, TextSize};
-use schemars::{r#gen::SchemaGenerator, schema::Schema, JsonSchema};
+use schemars::{JsonSchema, r#gen::SchemaGenerator, schema::Schema};
 
 impl JsonSchema for TextSize {
     fn schema_name() -> String {

crates/ruff_text_size/src/serde_impls.rs

@@ -1,6 +1,6 @@
 use {
     crate::{TextRange, TextSize},
-    serde::{de, Deserialize, Deserializer, Serialize, Serializer},
+    serde::{Deserialize, Deserializer, Serialize, Serializer, de},
 };
 
 impl Serialize for TextSize {

crates/ruff_text_size/tests/serde.rs

@@ -1,6 +1,6 @@
 use {
     ruff_text_size::{TextRange, TextSize},
-    serde_test::{assert_de_tokens_error, assert_tokens, Token},
+    serde_test::{Token, assert_de_tokens_error, assert_tokens},
     std::ops,
 };
 

crates/ty/docs/.gitattributes

@@ -0,0 +1,3 @@
+rules.md -diff linguist-generated=true text=auto eol=lf
+cli.md -diff linguist-generated=true text=auto eol=lf
+configuration.md -diff linguist-generated=true text=auto eol=lf

crates/ty/docs/rules.md

@@ -522,6 +522,40 @@ mod tests {
         assert_snapshot!(test.goto_type_definition(), @"No type definitions found");
     }
 
+    #[test]
+    fn goto_type_of_bare_type_alias_type() {
+        let test = cursor_test(
+            r#"
+            from typing_extensions import TypeAliasType
+
+            Alias = TypeAliasType("Alias", tuple[int, int])
+
+            Alias<CURSOR>
+            "#,
+        );
+
+        assert_snapshot!(test.goto_type_definition(), @r#"
+        info[goto-type-definition]: Type definition
+         --> main.py:4:13
+          |
+        2 |             from typing_extensions import TypeAliasType
+        3 |
+        4 |             Alias = TypeAliasType("Alias", tuple[int, int])
+          |             ^^^^^
+        5 |
+        6 |             Alias
+          |
+        info: Source
+         --> main.py:6:13
+          |
+        4 |             Alias = TypeAliasType("Alias", tuple[int, int])
+        5 |
+        6 |             Alias
+          |             ^^^^^
+          |
+        "#);
+    }
+
     #[test]
     fn goto_type_on_keyword_argument() {
         let test = cursor_test(