Causes segfault

#lang racket

(module foo racket
  (provide A%)
  (define A%
    (class object%
      (super-new)
      (field [state 0])
      (define/public (foo)
        "world"))))

(module bar typed/racket
  (require/typed (submod ".." foo)
                 [A% (Class (field [state (Vectorof String)])
                            [foo (-> (Vectorof String))])])
  (define B%
    (class A%
      (super-new)
      (inherit-field state)
      (define/override (foo)
        state)))

  (define b (new B%))
  (vector-ref (send b foo) 0))

(require 'bar)

Simpler crash

#lang racket

(module foo racket
  (provide A%)
  (define A%
    (class object%
      (super-new)
      (field [state 0]))))

(module bar typed/racket
  (require/typed (submod ".." foo)
                 [A% (Class (field [state (Vectorof String)]))])
  (define B%
    (class A%
      (super-new)
      (inherit-field state)
      (: foo (-> (Vectorof String)))
      (define/public (foo)
        state)))

  (define b (new B%))
  (vector-ref (send b foo) 0))

(require 'bar)

TR Issue

#lang racket

(module foo racket
  (provide A%)
  (define A%
    (class object%
      (super-new)
      (define/public (foo)
        "hello")
      (define/public (bar)
        ;; TRY REPLACING WITH `(send this foo)`!!!
        (foo)))))

(module bar typed/racket
  (require/typed (submod ".." foo)
                 [A% (Class [foo (-> Integer)]
                            [bar (-> String)])])
  (define B%
    (class A%
      (super-new)
      ;; TRY COMMENTING OUT THIS METHOD!!!
      (define/override (foo)
        42)))

  (define b (new B%))
  (send b bar))


(require 'bar)