Iltotore / iron

Strong type constraints for Scala
https://iltotore.github.io/iron/docs/
Apache License 2.0
457 stars 43 forks source link

feat: Better diagnostics #242

Closed Iltotore closed 3 months ago

Iltotore commented 3 months ago

Enhance error messages and support some other cases at compile time.

Partly closes #238. Other cases are not doable because Scala cancel any folding/inlining for them.