Skip to content

Conversation

@WojciechMazur
Copy link
Contributor

Backports #23837 to the 3.8.0-RC1.

PR submitted by the release tooling.
[skip ci]

…eTrees (#23837)

Closes #11755
TypeBind is omitted, for reasons mentioned in #23836

I should mention that neither of these constructors is critical (we can
just convert the `TypeRepr` counterparts to `TypeTree`s), but I guess
they are nice to have.
[Cherry-picked d463d6d]
@WojciechMazur WojciechMazur requested a review from a team as a code owner November 12, 2025 13:23
Base automatically changed from release-3.8.0_backport-24304 to release-3.8.0 November 12, 2025 20:02
@WojciechMazur WojciechMazur merged commit ed3f32e into release-3.8.0 Nov 12, 2025
44 of 56 checks passed
@WojciechMazur WojciechMazur deleted the release-3.8.0_backport-23837 branch November 12, 2025 20:02
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.

3 participants