I'm not sure if this is truly dead, or are just waiting for the implementation to be complete? (cc @nikomatsakis )