Reports implementations of foreign traits (traits defined outside the current crate) for arbitrary types.