I appreciate the attention to the social and organizational aspect of implementation here. Every piece of software has a somewhat nonlinear curve in the difficu

I appreciate the attention to the social and organizational aspect of implementation here. Every piece of software has a somewhat nonlinear curve in the difficulty of adding new features as the codebase gets more complex, but it's especially bad in compilers. Adding something as complex and all-pervasive as dependent types - and this is dependent types, just in a Rusty costume! - is, clearly, on another level. I'm very excited for a more capable incarnation of this feature, but I'm not holding my breath for its stabilization.