Only current crate? Does it mean a user type can't implement, say, `Drop`?