diff --git a/pkgs/racket-pkgs/racket-test/tests/generic/syntax-errors.rkt b/pkgs/racket-pkgs/racket-test/tests/generic/syntax-errors.rkt index e965217249..e96cc5b03a 100644 --- a/pkgs/racket-pkgs/racket-test/tests/generic/syntax-errors.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/generic/syntax-errors.rkt @@ -166,3 +166,15 @@ (define stream-first first) (define stream-rest rest) (define stream-empty? empty?)]))) + +(check-good-syntax + (module gen racket + (require racket/generic) + (provide gen:foo (rename-out [*bar bar])) + (define-generics foo (bar foo)) + (define *bar bar)) + (module impl racket + (require racket/generic (submod ".." gen)) + (struct thing [] + #:methods gen:foo + [(define/generic gbar bar)])))