dotty.tools.dotc.reporting.diagnostic
The extractor for NoExplanation can be used to check whether any error lacks an explanation
NoExplanation
The extractor for
NoExplanation
can be used to check whether any error lacks an explanation