Function crate_inherent_impls_validity_check 

pub fn crate_inherent_impls_validity_check<'tcx>(
    tcx: TyCtxt<'tcx>,
    _: (),
) -> String