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/CaptureSet/CompareFailure

CompareFailure

dotty.tools.dotc.cc.CaptureSet.CompareFailure
trait CompareFailure

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Fail
class LevelError

Members list

Value members

Concrete methods

def withNotes(notes: List[ErrorNote]): this.type
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL