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