fn try_extract_error_from_fulfill_cx<'tcx>(
    ocx: &ObligationCtxt<'_, 'tcx>,
    placeholder_region: Region<'tcx>,
    error_region: Option<Region<'tcx>>
) -> Option<Diag<'tcx>>