Scala 3 introduced scala.util.Not
which is a very nifty way to know if a given doesn’t exist in the current scope.
With the new design for givens, a better name for this would be scala.util.NotGiven
.
This a a thread to discuss and get feedback from the community.
A pull request is currently open: https://github.com/lampepfl/dotty/pull/10533