[dependenttypes]

I don't know about the parent but at least for me that impression came from the censorship enforced by the moderation team in https://snew.notabug.io/r/rust/comments/7nx3cm/announcement_...