Skip to content

Conversation

bpholt
Copy link
Member

@bpholt bpholt commented May 2, 2025

Fixes #4397.

The way the diff is presented is a little misleading; I moved fromSecureRandom into its own trait, but it looks like I moved TranslatedUUIDGen around. (Which isn't wrong, just not as useful of a way to think about it IMO.)

I'm expecting bike-shedding on ImplicitPriorityPlayground, at least, which is why I marked this as a draft PR for now.


import java.util.UUID

object ImplicitPriorityPlayground {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Generally the way that we've done this in the past is to structure compilation tests as actual test suites with a tautological tests (i.e. the test always passes at runtime provided it compiles). MUnit doesn't provide anything more elaborate than that, sadly.

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