fn has_expected_num_generic_args<'tcx>( tcx: TyCtxt<'tcx>, trait_did: Option<DefId>, expected: usize) -> bool