diff --git a/racket/typed/core-types.rkt b/racket/typed/core-types.rkt
index a1bd4df..1c87644 100644
--- a/racket/typed/core-types.rkt
+++ b/racket/typed/core-types.rkt
@@ -675,6 +675,9 @@
     [(~Message τ)
      (define t (replace-bind-and-discard-with-★ #'τ))
      (type-eval #`(Observe #,t))]
+    [τ
+     #:when (bot? #'τ)
+     #'τ]
     [τ
      (define t (replace-bind-and-discard-with-★ #'τ))
      (type-eval #`(Observe #,t))]))