• Home
• org.scala-lang
• scala3-library_3
• 3.6.4-RC1-bin-20241218-bd1f004-NIGHTLY
• source code
• Precise.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

scala.Precise.scala Maven / Gradle / Ivy

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