Why isn't `std::mem::drop` exactly the same as the closure |_|() in higher-ranked trait bounds?

来源：https://stackoverflow.com/questions/59023616/why-isnt-stdmemdrop-exactly-the-same-as-the-closure-in-higher-ranke