ExistentialSubsumesFailure

dotty.tools.dotc.cc.CaptureSet.ExistentialSubsumesFailure
case class ExistentialSubsumesFailure(ex: Result, other: CaptureRef) extends ErrorNote

A value of this class is produced and added as a note to ccState when a subsumes check decides that an existential variable ex cannot be instantiated to the other capability other.

Attributes

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

Members list

Value members

Inherited methods

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product