Skip to content

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Jan 26, 2024

This PR should fail with two errors in neg tests. Yet it succeeds.

@odersky odersky marked this pull request as draft January 26, 2024 17:14
@odersky odersky changed the title Alter check file Show that test framework is broken Jan 26, 2024
@nicolasstucki
Copy link
Contributor

This was fixed in #19566

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants