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 Serializabletrait Producttrait Equalstrait ErrorNoteclass Objecttrait Matchableclass Any
Members list
In this article