code: final void maybePropagateCancellationTo(@NullableDecl Future<?> related) {
      if (related != null & isCancelled()) {
        related.cancel(wasInterrupted());
      }
    }
docs: If this future has been cancelled (and possibly interrupted), cancels (and possibly interrupts)
  the given future (if available).