Lint off the old "drop" notation

r? @nikomatsakis