StickyError
dotty.tools.dotc.reporting.Diagnostic$.StickyError
A sticky error is an error that should not be hidden by backtracking and trying some alternative path. Typically, errors issued after catching a TypeError exception are sticky.
Attributes
- Graph
- Supertypes
- class Errorclass Diagnostictrait Diagnosticclass Exceptionclass Throwabletrait Serializableclass Objecttrait Matchableclass Any