Skip to content

Conversation

@Tpt
Copy link
Contributor

@Tpt Tpt commented Oct 23, 2025

No description provided.

@davidhewitt
Copy link
Member

We should make a decision if we prefer this or #5579 I guess

@Tpt
Copy link
Contributor Author

Tpt commented Nov 3, 2025

We should make a decision if we prefer this or #5579 I guess

Indeed. #5579 is better I think. Closing this.

@Tpt Tpt closed this Nov 3, 2025
@Tpt Tpt deleted the tpt/type-hint-type-info branch November 7, 2025 09:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants