https://github.com/nikomatsakis/trait-resolution-prototype 404s for me. Perhaps it is a private repo?