Skip to content

Conversation

@SuperCl4sh
Copy link

@SuperCl4sh SuperCl4sh commented Jul 18, 2025

A PR that adds more tests. Don't merge this yet, we can discuss some things tomorrow. Just wanted to put this here so you can see the tests beforehand. The problematic (I think?) test is on line 98

val m: List[K & J] = null :: Nil

J is defined in Unsafe_1 and K extends it (in Flexible_2), so I believe this should not compile (since null is not a valid value of K) but it currently does.
Edit: Nevermind, I don't think this is a bug because List is in the stl and compiled without -Yexplicit-nulls.

@SuperCl4sh
Copy link
Author

I think I also messed up something when trying to rebase... I'll fix this later, but just wanted to put this out.

@SuperCl4sh SuperCl4sh force-pushed the flexibleunpickledev branch from 5769e9e to 641eb52 Compare July 18, 2025 17:51
@HarrisL2 HarrisL2 merged commit 79a1a52 into HarrisL2:flexibleunpickle Jul 18, 2025
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