scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.cc/Capabilities/Origin

Origin

dotty.tools.dotc.cc.Capabilities.Origin
enum Origin

The place of - and cause for - creating a fresh capability. Used for error diagnostics

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

final case class DeepCS(ref: TypeRef)
final case class Formal(pref: ParamRef, app: Apply)
final case class InDecl(sym: Symbol)
final case class LambdaActual(restp: Type)
final case class LambdaExpected(respt: Type)
final case class NewCapability(tp: Type)
final case class NewMutable(tp: Type)
final case class OverriddenType(member: Symbol)
final case class ResultInstance(methType: Type, meth: Symbol)
final case class TypeArg(tp: Type)
final case class UnapplyInstance(info: MethodType)
case Unknown extends Origin
case UnsafeAssumePure extends Origin
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL