While https://github.com/racket/racket/pull/3731 does fix several errors, it does not fix the ones shown in https://github.com/racket/racket/pull/3731#issuecomment-802367036. See https://github.com/racket/racket/runs/2180066684 as an example