Function check_impl_constness 

fn check_impl_constness(
    tcx: TyCtxt<'_>,
    constness: Constness,
    hir_trait_ref: &TraitRef<'_>,
)