Errortrace bug with racket/load and begin-for-syntax

[LeifAndersen]

When I have the following file (note that it uses racket/load:

#lang racket/load

(begin-for-syntax
  (module foo racket
    (define x 5)
    (provide x)
    (displayln "here")))

(require 'foo)

I get the following error message:

racket/racket/share/pkgs/errortrace-lib/errortrace/errortrace-lib.rkt:256:58: require: namespace mismatch;
 reference to a module that is not available
  reference phase: 0
  referenced module: "/Users/leif/racket/racket/share/pkgs/errortrace-lib/errortrace/errortrace-key.rkt"
  referenced phase level: 0
  in: errortrace-key
  errortrace...:
  context...:
   /Users/leif/test5.rkt: [running body]

When I turn off debugging in DrRacket, or don't link with errortrace this error does not happen adn as expected: "here" prints out to the console.

[florence]

This seems to be specific to errortrace at the top level.

@mflatt I can't make heads or tails of why this is happening.

[sorawee]

I cannot reproduce the bug anymore. It looks like this is fixed by #17. Can you confirm, @LeifAndersen?