remove notion of Implicit derefs from mem-cat#51235

Merged

bors merged 1 commit intorust-lang:masterfrom

nikomatsakis:issue-51117-borrowck-implicit-deref

May 31, 2018

Commits on May 31, 2018

change `PointerKind::Implicit` to a note
nikomatsakis
committed