scala.Precise.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of scala3-library_3 Show documentation

scala3-library-bootstrapped

There is a newer version: 3.6.4-RC1-bin-20241220-0bfa1af-NIGHTLY

package scala
import annotation.experimental
import language.experimental.erasedDefinitions

/** A type class-like trait intended as a context bound for type variables.
 *  If we have `[X: Precise]`, instances of the type variable `X` are inferred
 *  in precise mode. This means that singleton types and union types are not
 *  widened.
 */
@experimental erased trait Precise:
  type Self