#;
(exn-pred #rx"Expected 'foo, but got 'bar")
#lang racket/load

;; Test for PR 14144
;; Make sure that the second definition is checked
;; against the synthesized type for the first definition

(require typed/racket)

(define x 'foo)
(define x 'bar)


Add test for PR 14144
Add test for PR 14144

Forgot to include this in commit
7c4eb845a02c77dee6a9f8a650a9261ab1a7b25b
