= can equate values with different types.

Closes PR 12804.

collects/tests/typed-racket/unit-tests/typecheck-tests.rkt

@@ -1406,6 +1406,10 @@
 	[tc-e/t (ann #() (Vectorof Integer))
                 (-vec -Integer)]
         
+        [tc-e (let: ([x : Float 0.0])
+                (= 0 x))
+              #:ret (ret -Boolean (-FS -top -top) (make-NoObject))]
+        
         [tc-e/t (ann (lambda: ([x : Boolean]) (if x x #t)) (Boolean -> #t)) (t:-> -Boolean (-val #t))]
         )
   (test-suite

collects/typed-racket/typecheck/tc-app.rkt

@@ -51,8 +51,7 @@
   (define (ok? val)
     (define-syntax-rule (alt nm pred ...) (and (free-identifier=? #'nm comparator) (or (pred val) ...)))
     (or (alt symbol=? symbol?)
-        (alt string=? string?)
-        (alt = number?)
+        (alt string=? string?)        
         (alt eq? eq?-able)
         (alt eqv? eqv?-able)
         (alt equal? equal?-able)))