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...