Oli Scherer

> Entries for the same section get concatenated in link order. I don't think miri can figure out link order. For now we can bail out on multiple entries for...

I forgot about those because I was lazy and normalized them away in dogfood tests. Getting them all to be slashes is annoying, because the PathBuf APIs use platform folder...

> Do filters normalize to `/`, i.e., will `pass/align` work as a filter on Windows? no, filters work on the display representation that you see. > guess the slashes come...

> Or we just define a "display" function on tests that replaces `\` by `/`, and also use that for filtering. yea I think I'm gonna do that on the...

Good question. I turned it on unconditionally in the source... I should probably add a config.toml flag

> 1. How does one provide `-Zalways-encode-mir`? The instructions mention a stage2 build, so does one set `RUSTFLAGS_BOOTSTRAP` or `RUSTFLAGS_NOT_BOOTSTRAP`? Both? only `RUSTFLAGS_NOT_BOOTSTRAP` should be necessary > 2\. What's up...

hmm... we do this already for all the pthread code, so we do have precedent. I'm fine with it and I don't think we'd need a warning. I would expect...

While I personally don't see a reason for such a flag, I won't block it if there is strong desire for it. We've been doing quite well with just having...

There's also a dumb way to do this: just spawn a physical host thread whenever we want to do a blocking op and poll that thread every now and then...

I think a first step would be to create a new codegen backend which doesn't actually do any codegen and just dumps the metadata. That way we should be able...