When rustdoc is run on libcore with JSON output, the output doesn't include several implementations, including one in finally.rs. In particular Drop for Finallyalizer isn't detected:

impl<'a,A> Drop for Finallyalizer<'a,A>

Rustdoc should pick up every syntax element.