IncludeFailure

dotty.tools.dotc.cc.CaptureSet.IncludeFailure

case class IncludeFailure(cs: CaptureSet, elem: Capability, levelError: Boolean = ...) extends Note, Showable

Failure indicating that elem cannot be included in cs

Attributes

Graph
Supertypes: trait Serializable

trait Product

trait Equals

trait Showable

class Note

class Object

trait Matchable

class Any
Show all

An include failure F1 covers another include failure F2 unless one of the following two conditons holds:

F2 strictly subsumes F1, which means they describe the same capture sets and the element in F2 is more specific than the element in F1.
Both F1 and F2 are the empty set, but only F2 is an empty set synthesized when comparing types with different box status

The note rendered as part of an error message

Should the note be shown before the actual message or after? Default is after.

The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.

A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

An iterator over the names of all the elements of this product.

An iterator over all the elements of this product.

The string representation of this showable element.

The string representation with each line after the first one indented by the given given margin (in spaces).

The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.

In this article

Generated with