Closed mario-bucev closed 9 months ago
For instance, the provided tests in RefnChecksWithReturn.scala would unexpectedly generate "refinement checks for subtyping" which may result in being invalid due to #1463.
RefnChecksWithReturn.scala
For instance, the provided tests in
RefnChecksWithReturn.scala
would unexpectedly generate "refinement checks for subtyping" which may result in being invalid due to #1463.