Function has_debug_impl 

pub fn has_debug_impl<'tcx>(cx: &LateContext<'tcx>, ty: Ty<'tcx>) -> bool

This checks whether a given type is known to implement Debug.