2 ms·

> crazy recursive dependent types Some edge-cases involving those have bugfixes and ergonomy improvents I've run into on 5.x.

• Tade0 2y ago
  That's great to know, thank you. That being said I regret every use of `infer` in application code.