Skip to content

Do not use underlying type when inferring the type of some(...)#701

Merged
jcp19 merged 1 commit intomasterfrom
joao-some-ut
Nov 1, 2023
Merged

Do not use underlying type when inferring the type of some(...)#701
jcp19 merged 1 commit intomasterfrom
joao-some-ut

Conversation

@jcp19
Copy link
Contributor

@jcp19 jcp19 commented Nov 1, 2023

No description provided.

@jcp19 jcp19 requested a review from Dspil November 1, 2023 14:05
@jcp19 jcp19 merged commit 91739fe into master Nov 1, 2023
@jcp19 jcp19 deleted the joao-some-ut branch November 1, 2023 15:07
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