Comment Comment by rtolsma for production usage, what are the major deltas vs. pyright today? parent rtolsma 5 months ago