Skip to content

[SCL-23269] Find usages for context bound name#694

Closed
Alex1005a wants to merge 4 commits into
JetBrains:idea251.xfrom
Alex1005a:idea251.x-scl-23269
Closed

[SCL-23269] Find usages for context bound name#694
Alex1005a wants to merge 4 commits into
JetBrains:idea251.xfrom
Alex1005a:idea251.x-scl-23269

Conversation

@Alex1005a
Copy link
Copy Markdown
Contributor

I was also wondering if it would be possible to make a unused context bound highlighting, even if it is not named, as in the case of given. Is there a separate SCL for this?

@Alex1005a Alex1005a marked this pull request as draft May 2, 2025 23:03
@Alex1005a Alex1005a marked this pull request as ready for review May 3, 2025 11:04
@unkarjedy unkarjedy requested a review from SrTobi May 5, 2025 10:08
@unkarjedy
Copy link
Copy Markdown
Member

unkarjedy commented May 5, 2025

@Alex1005a Hello. Did you mention SCL-23707 by mistake?

@unkarjedy
Copy link
Copy Markdown
Member

@Alex1005a
Could you please create a YT ticket with the description of the original problem?
It will be easier than reverse-engineering it from the solution.
If there are any similar or duplicate tickets we will figure it out

@Alex1005a
Copy link
Copy Markdown
Contributor Author

Sorry, I accidentally entered the wrong ticket. The correct one is: SCL-23269.

@Alex1005a Alex1005a changed the title [SCL-23707] Find usages for context bound name [SCL-23269] Find usages for context bound name May 5, 2025
@SrTobi
Copy link
Copy Markdown
Contributor

SrTobi commented May 16, 2025

Hi @Alex1005a, thanks for the PR. I reviewed it and merged it basically unchanged (I just renamed the commit messages a little). I merged it manually, so I'm closing the pr here. Thanks again 🍺

@SrTobi SrTobi closed this May 16, 2025
@SrTobi
Copy link
Copy Markdown
Contributor

SrTobi commented May 16, 2025

Ah damn. And I didn't change the ticket id 😁

@Alex1005a Alex1005a deleted the idea251.x-scl-23269 branch May 22, 2025 19:16
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