Skip to content

Narrow Closure::bind $newScope param#1591

Merged
isfedorov merged 1 commit intoJetBrains:masterfrom
mvorisek:narrow_closure_bind_param
Dec 1, 2023
Merged

Narrow Closure::bind $newScope param#1591
isfedorov merged 1 commit intoJetBrains:masterfrom
mvorisek:narrow_closure_bind_param

Conversation

@mvorisek
Copy link
Copy Markdown
Contributor

@mvorisek mvorisek commented Nov 28, 2023

@isfedorov
Copy link
Copy Markdown
Contributor

@mvorisek Thank you for the PR! Generally the change completely makes sense except a couple of notes I've added inline

@mvorisek mvorisek requested a review from isfedorov December 1, 2023 01:17
@isfedorov isfedorov merged commit f740b49 into JetBrains:master Dec 1, 2023
@mvorisek mvorisek deleted the narrow_closure_bind_param branch December 1, 2023 10:17
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