Skip to content

Conversation

@DarkDimius
Copy link
Contributor

@smarter please review

odersky added a commit that referenced this pull request Apr 3, 2015
@odersky odersky merged commit d578a53 into scala:master Apr 3, 2015
@allanrenucci allanrenucci deleted the ycheckall branch December 14, 2017 19:26
tgodzik added a commit to tgodzik/scala3 that referenced this pull request Jul 3, 2025
Backport "Take inferred or explicit refinement result for unused check" to 3.3 LTS
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