Function is_args_fit_trait_bound 

fn is_args_fit_trait_bound<'tcx>(
    fn_did: DefId,
    args: &[GenericArg<'tcx>],
    tcx: TyCtxt<'tcx>,
) -> bool