Skip to content

Compiler flag to interpret implicit definitions as givens #22482

Open
@WojciechMazur

Description

@WojciechMazur

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

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions