MutAdaptFailure
dotty.tools.dotc.cc.CaptureSet.MutAdaptFailure
case class MutAdaptFailure(cs: CaptureSet, lo: Type, hi: Type) extends ErrorNote
Failure indicating that a read-only capture set of a mutable type cannot be widened to an exclusive set.
Value parameters
- cs
-
the exclusive set in question
- hi
-
the upper type of the orginal type comparison, or NoType if not known
- lo
-
the lower type of the orginal type comparison, or NoType if not known
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait ErrorNoteclass Objecttrait Matchableclass Any
Members list
In this article