My thing still won't compile, and I'm still no closer to knowing why. I'm getting increasingly tempted to get a piece of paper and run the ML type inference algorithm by hand.
OS: Windows 10 64 bit Professional
CPU: AMD Ryzen 5900X
RAM: 16GB
GPU: Radeon Vega 56
CPU: AMD Ryzen 5900X
RAM: 16GB
GPU: Radeon Vega 56
