Neil Mitchell

This API means you can't provide both a sha1 and a blake3 hash, which can be useful to allow the download file to hit the right fast path regardless of...

I think we have a feature where if the RE system is set to SHA1, we can check if the download is already in the RE server, and skip the...

We have plenty of things that automatically generate hashes, e.g. the Reindeer tool for Rust dependencies. It's those which would be inconvenienced by base64 (although it's not the end of...

The `@oss-disable` stuff is not very magical - it just moves the comment markers. So we see: ``` _INCLUDE_EXECUTABLES = True # @oss-disable ``` And open source we have: ```...

CC @dtolnay @jsgf about a Cargo.lock for use by Reindeer as they are much more involved in that project.

Thanks for the code. I happened to discover this independently, so am putting up a pull request with the same contents, although if you would prefer to mark your code...

Done as #309 - thanks for the effort fixing this.

Why is `type of x is a Var` the conclusion? I thought that argument types should be inferred to be `Any(Implicit)` not `Var`?

What's the rule for Pyright?

Another instance: ```pyrefly def f(x: None | str): assert x is not None def g() -> str: return x ``` https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIAOljGAARgAU%2BidAcrujHQD51wAXAE4BKRNTqS6qOHBhCBdfHQhw66XIo5dqEqZlp0A5oxF0AtAD5%2Bw8eikO6QmAICuQ%2B-j2SQAGhCuAtBwJOSIIADEdACqQVAQAqQMrugAxkGccLo09GC4QgC2qAIA%2BuiuBdjyzKwQ6AJmVjZCdg7Obh4MlCBsFVUtdMD4AL7d1H4gZM5gUKSEArgFUBRRAAqk07P8GDgEdKmckEbuxRCchNRRAMow3AAWAgLEcIgA9K9TtLOE%2BUavMOhXphcKk4K8DugjicMoCGPlpAA3VDQVDYWD7Q4QY5CU6cOi4YgwkLUMgCO6ccwI%2BRwM72AC8dG6AGZCABGABMY3QIGG-lQ6QgVIAYtAYBQ0Fg8EQyDygA