pub fn unexpected_hidden_region_diagnostic<'tcx>(
    tcx: TyCtxt<'tcx>,
    span: Span,
    hidden_ty: Ty<'tcx>,
    hidden_region: Region<'tcx>,
    opaque_ty_key: OpaqueTypeKey<'tcx>
) -> Diag<'tcx>