saw approval from nikomatsakis
at https://github.com/nikomatsakis/rust/commit/004a567de3d885e72d4053aeb91798749685a030