Function get_mono_set 

fn get_mono_set<'tcx>(
    fn_did: DefId,
    available_ty: &HashSet<TyWrapper<'tcx>>,
    tcx: TyCtxt<'tcx>,
) -> MonoSet<'tcx>