Skip to content

Conversation

@odersky
Copy link
Contributor

@odersky odersky commented Aug 29, 2021

Fixes #12997

@nicolasstucki nicolasstucki merged commit f70ee29 into scala:master Aug 30, 2021
@nicolasstucki nicolasstucki deleted the fix-12997 branch August 30, 2021 06:10
@Kordyjan Kordyjan added this to the 3.1.0 milestone Aug 2, 2023
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.

summonInline can't find local givens.

3 participants