Hunter Goldstein

Results 23 comments of Hunter Goldstein

Thank you for the report! I added that warning, thank you for the detailed reproduction steps.

Closing this out as I believe the _main_ issue (the type solving failed to complete) has been resolved. Feel free to re-open, but I think the type mismatch errors _were_...

As a heads up, on GitHub formatting large blocks of code requires at least three backticks instead of just one, so you'll want to write: ```` I have run into...