pub fn check_args_compatible<'tcx>(
    tcx: TyCtxt<'tcx>,
    assoc_item: AssocItem,
    args: GenericArgsRef<'tcx>
) -> bool