```scala
val x: Option[DTE] = context.errBuffer.collectFirst { case dte: DivergentImplicitTypeError => dte}
```