fn check_substs_compatible_inner<'tcx>(
    tcx: TyCtxt<'tcx>,
    generics: &'tcx Generics,
    args: &'tcx [GenericArg<'tcx>]
) -> bool