scala3-compiler-bootstrapped/dotty.tools

dotty.tools

package dotty.tools

Type members

Classlikes

case class FatalError(msg: String) extends Exception
object resultWrapper

Types

Value members

Concrete methods

def WrappedResult[T](x: T): WrappedResult[T]
def result[T](using x: WrappedResult[T]): T
final def sameLength[T](xs: List[T], ys: List[T]): Boolean

True if two lists have the same length. Since calling length on linear sequences is O(n), it is an inadvisable way to test length equality.

True if two lists have the same length. Since calling length on linear sequences is O(n), it is an inadvisable way to test length equality.

def unreachable(x: Any): Nothing
def unsupported(methodName: String): Nothing

Throws an UnsupportedOperationException with the given method name.

Throws an UnsupportedOperationException with the given method name.

Concrete fields

Extensions

Extensions

extension (x: T | Null)
inline def nn[T]: T

Assert x is non null and strip Null from type

Assert x is non null and strip Null from type

inline def toOption[T]: Option[T]

Forward-ported from the explicit-nulls branch.

Forward-ported from the explicit-nulls branch.

inline def uncheckedNN[T]: T

Should be used when we know from the context that x is not null. Flow-typing under explicit nulls will automatically insert many necessary occurrences of uncheckedNN.

Should be used when we know from the context that x is not null. Flow-typing under explicit nulls will automatically insert many necessary occurrences of uncheckedNN.