fn unreachable_pattern(
    tcx: TyCtxt<'_>,
    span: Span,
    id: HirId,
    catchall: Option<Span>
)