summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-16/+19
2023-07-05Rollup merge of #113319 - lcnr:type-param-def-def-id, r=compiler-errorsMichael Goulet-1/+1
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-13/+14
2023-07-04`TypeParameterDefinition` always require a `DefId`lcnr-1/+1
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-28/+13
2023-06-29change snapshot tracking in fulfillment contextslcnr-28/+13
2023-06-24instantiate hidden types in root universeAli MJ Al-Nasrawy-0/+1
2023-06-07Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnrDylan DPC-0/+17
2023-06-06Fix comment for `get_region_var_origins`Nilstrieb-5/+5
2023-06-06New trait solver is a property of inference contextMichael Goulet-0/+17
2023-05-30rework the leak_check to take the outer_universelcnr-33/+22
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
2023-05-25Move DefiningAnchorMichael Goulet-12/+1
2023-05-16Rollup merge of #111602 - tmiasko:erroneous-constant-used, r=oli-obkNilstrieb-1/+1
2023-05-15Combine TypeGeneralizer and GeneralizerMichael Goulet-0/+1
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-1/+1
2023-05-09add EarlyBinder to thir_abstract_const; remove tcx.bound_abstract_constKyle Matsuda-1/+1
2023-05-03remove `inside_canonicalization_ctxt` flaglcnr-32/+0
2023-04-27rename `needs_infer` to `has_infer`Boxy-2/+2
2023-04-22Auto merge of #109753 - compiler-errors:replenish-region-constraints, r=aliemjaybors-2/+2
2023-04-21Clone region var origins instead of taking in borrowckMichael Goulet-2/+2
2023-04-20Remove WithOptconstParam.Camille GILLOT-3/+3
2023-04-16use matches! macro in more placesMatthias Krüger-4/+4
2023-04-12region error cleanuplcnr-141/+1
2023-04-06Remove u32 on BoundTyKind::AnonJack Huey-1/+1
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-6/+10
2023-03-28Rollup merge of #109629 - aliemjay:remove-givens, r=lcnrnils-4/+0
2023-03-28Rollup merge of #102472 - lcnr:static-in-eval, r=jackh726nils-6/+1
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-4/+0
2023-03-23Auto merge of #109503 - matthiaskrgr:rollup-cnp7kdd, r=matthiaskrgrbors-2/+2
2023-03-22assertion for only collection nll region variable information for debug in no...b-naber-0/+32
2023-03-22stop special-casing `'static` in evaluatelcnr-6/+1
2023-03-21enable `intercrate` in the solver `InferCtxt`lcnr-2/+2
2023-03-17Fast path that skips over unchanged obligations in process_obligationsThe 8472-0/+32
2023-03-16Rollup merge of #109166 - lcnr:define_opaque_types-explicit, r=oli-obkMatthias Krüger-4/+6
2023-03-15always make `define_opaque_types` explicitlcnr-4/+6
2023-03-15Auto merge of #107376 - aliemjay:remove-givens, r=lcnrbors-4/+0
2023-03-14Don't make projection tys out of anon constsMichael Goulet-0/+1
2023-03-09Fix canonicalizer bug for int/float vars tooMichael Goulet-0/+22
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-4/+0
2023-03-08Rollup merge of #108839 - compiler-errors:canonicalize-the-root-var, r=lcnrMatthias Krüger-0/+4
2023-03-07Canonicalize the ROOT VARMichael Goulet-0/+4
2023-03-07Rollup merge of #108728 - tshepang:fix-and-improve, r=michaelwoeristerYuki Okushi-29/+32
2023-03-04infer: fix and improve commentsTshepang Mbambo-29/+32
2023-03-04field is not used outside the crateTshepang Mbambo-3/+3
2023-02-28Some `infer/mod.rs` cleanupsNilstrieb-39/+11
2023-02-22Remove type-traversal trait aliasesAlan Egerton-10/+10
2023-02-21Rollup merge of #104239 - b-naber:sccs-info, r=jackh726Matthias Krüger-0/+2
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-1/+1
2023-02-19collect region contexts during mir renumberingb-naber-0/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 13:42:21 +0000