Implicit conversions and type-constraint evidence (<:<) support#667

Merged

MateuszKubuszok merged 9 commits intomasterfrom implicit-conversions-support

Jan 23, 2025

+499-6

Commits on Jan 23, 2025

Add TypeConstraintEvidence and ImplicitConversions flags to DSL
MateuszKubuszok
committed
Add TransformTypeConstraintRule and TransformImplicitConversionRule
MateuszKubuszok
committed
Add Since version number, filter out <:< rule on overrides
MateuszKubuszok
committed
Use slightly better way of detecting whether flags were overriden (with some exceptions)
MateuszKubuszok
committed
Test evidence based conversion (<:<)
MateuszKubuszok
committed
Test implicit conversions
MateuszKubuszok
committed
Document type-based-evidence flag and implicit conversion flag
MateuszKubuszok
committed
Add links to new docs sections in scaladoc
MateuszKubuszok
committed
Fix type-evidence-based tests to work on both Scala 2 and 3
MateuszKubuszok
committed