Compiler flag to interpret implicit definitions as givens #22482
Labels
area:private options
Issues tied to -Y private/internal compiler settings.
area:typer
itype:enhancement
In the context of changed prioritization rules for givens resolution and lack of formal reference to describe differences between resolution of givens or implicits and their combinations at call site it might be beneficial to introduce a private setting (
-Y
) allowing to treat all implicits as givens.The flag can be potentially used to test libraries (or whole ecosystems inside OpenCB build) that are powered heavily by implicits resolutions and type classes to check how switching from implcit to given definitions would affect their users.
The flag might be beneficial for libraries that cross compile between Scala 2/3 to test correctness low priority implicits to ensure they behave similarly between different Scala majors
The text was updated successfully, but these errors were encountered: