Function implements_trait

pub fn implements_trait<'tcx>(
    cx: &LateContext<'tcx>,
    ty: Ty<'tcx>,
    trait_id: DefId,
    args: &[GenericArg<'tcx>],
) -> bool

Checks whether a type implements a trait. The function returns false in case the type contains an inference variable.

See:

• get_trait_def_id to get a trait DefId.
• Common tools for writing lints for an example how to use this function and other options.