Matthew Russo

Hey -- made it here from the proptest issue. We have an issue over there for adding a way to add explicit cases to proptest: https://github.com/proptest-rs/proptest/issues/284 I had originally suggested...

The plans for type inference are defined here: https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/type_inference.md https://github.com/carbon-language/carbon-lang/tree/trunk/docs/design#auto https://github.com/carbon-language/carbon-lang/tree/trunk/docs/design#auto-return-type ~~which says its currently limited in scope to variable declarations and function return types so function parameters seem to...

I'll look into macOS issues. As far as windows, this is because its trying to write a path name thats more than 260 characters and msbuild fails. (https://github.com/google/shaderc-rs/issues/33) (https://github.com/Microsoft/msbuild/issues/53) which...

Found the issue on MacOS. I'm pretty sure its this: https://github.com/vulkano-rs/vulkano/issues/1135. I made some changes in the pr, and would like to get your feedback on it. Essentially we were...

Noted. Will make those changes. But I also had a chance to test on a different mac machine today and found it didnt work -- just a black screen pops...

Weird. After updating the vulkan sdk from 1.1.92.1 to 1.1.97.0, everything now works on the 2018 Pro. Not sure if its worth digging into this more?