Should propagate information from type to proposition

[samth]

This program should type check, but doesn't:

#lang typed/racket
(: process-number : -> Symbol)
(define (process-number)
  (if (add1 5) 'both-odd ""))

[pnwamk]

Fixed by @ #416.