Improve error message for misuse of type names

Closes PR 13289

pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-types-extra.rkt

@@ -1,13 +1,16 @@
 #lang racket/base
 
-(require (for-syntax racket/base))
+(require (for-syntax racket/base syntax/stx))
 
 (define-syntax (define-other-types stx)
   (syntax-case stx ()
     [(_ nm ...)
      #'(begin (define-syntax nm
                 (lambda (stx)
-                  (raise-syntax-error 'type-check "type name used out of context" stx))) ...
+                  (raise-syntax-error 'type-check "type name used out of context"
+                                      stx
+                                      (and (stx-pair? stx) (stx-car stx)))))
+              ...
               (provide nm) ...)]))
 
 ;; special type names that are not bound to particular types

pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/extra-procs.rkt

@@ -7,7 +7,7 @@
      (or v (error (format "Assertion failed on ~v" v))))
     ((assert v pred)
      (let ((val v))
-       (if (pred val)
+       (if ((#%expression pred) val)
            val
            (error (format "Assertion ~a failed on ~v" pred val)))))))
 

pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt

@@ -499,7 +499,13 @@ This file defines two sorts of primitives. All of them are provided into any mod
                                  ([omit #f])))
      #`(begin
          #,(if (not (attribute omit))
-               (ignore #'(define-syntax tname (lambda (stx) (raise-syntax-error 'type-check "type name used out of context" stx))))
+               (ignore #'(define-syntax tname
+                           (lambda (stx)
+                             (raise-syntax-error
+                              'type-check
+                              "type name used out of context"
+                              stx
+                              (and (stx-pair? stx) (stx-car stx))))))
                #'(begin))
          #,(internal (syntax/loc stx (define-type-alias-internal tname rest))))]
     [(_ (tname:id args:id ...) rest)

pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/type-env-lang.rkt

@@ -1,6 +1,6 @@
 #lang racket/base
 
-(require (for-syntax racket/base syntax/parse))
+(require (for-syntax racket/base syntax/parse syntax/stx))
 
 (define-syntax (#%module-begin stx)
   (syntax-parse stx #:literals (require)
@@ -9,7 +9,9 @@
         (begin
           (define-syntax (nm stx)
             (raise-syntax-error
-             'type-check "type name used out of context" stx))
+             'type-check "type name used out of context"
+             stx
+             (and (stx-pair? stx) (stx-car stx))))
           ...
           (provide nm) ...
           (begin-for-syntax

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/pr13289.rkt

@@ -0,0 +1,10 @@
+#;
+(exn-pred #rx"fail/pr13289.rkt:9:10:.*in: Natural")
+#lang typed/racket
+
+;; This test ensures that the error message for misuse of
+;; type names has a source location and reports with the correct
+;; syntax
+
+(assert 2 Natural)
+