Iron: Collection implications such as ForAll to Exists compile though short lists break them
Fixed · high · Soundness bug
Implications such as ForAll ==> Exists and Init ==> Head compile, but empty or one-element lists break the target constraint, so invalid values type-check.
Found: ; reported: ; status since: . Reporter: Mike Murunov
Page for this report · Public report · Fix or proposed fix (see status)
Hello. Thank you for opening this issue and the others. I agree that these implications better be removed since, as you rightly said, expressing them for only non-empty collections while doable would not be very useful in current Scala implicits/Iron state.