Skip to content

Conversation

@som-snytt
Copy link
Contributor

@som-snytt som-snytt commented May 31, 2025

Fixes #23293

Don't look up member in type of a type parameter that is a type bound; always just take its hiBound.

Also, the mnemonic for "nilary" is that the parameter list is Nil, i.e., it exists and is empty.

@som-snytt som-snytt marked this pull request as ready for review June 2, 2025 17:40
@Gedochao Gedochao requested a review from sjrd June 3, 2025 06:30
@som-snytt som-snytt force-pushed the issue/23293-refchecks-crash branch from f0d57b0 to d0d9ff8 Compare October 28, 2025 00:10
@som-snytt
Copy link
Contributor Author

Superseded by #23668

All PRs are superseded eventually, if one waits in the queue long enough.

@som-snytt som-snytt closed this Nov 25, 2025
@som-snytt som-snytt changed the title Take the high bound in extension check [SUPERSEDED] Take the high bound in extension check Nov 25, 2025
@som-snytt som-snytt removed the request for review from sjrd November 25, 2025 15:43
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.

Record like HK definitions that compile fine under 3.6.4 crash under 3.7.0

2 participants