about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
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
2023-02-16changes from reviewKyle Matsuda-1/+7
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+3
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-1/+1
2023-02-15Rollup merge of #108010 - compiler-errors:can_eq-returns-bool, r=lcnrMatthias Krüger-14/+4
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-1/+1
2023-02-13Make can_eq and can_sub return booleansMichael Goulet-14/+4
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-3/+3
2023-02-13Make folding traits generic over the InternerAlan Egerton-3/+3
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+2
2023-02-10emit `AliasEq` when relating type and const aliasesBoxy-0/+1
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-3/+10
2023-02-06Split and inline `ShallowResolver::fold_ty`.Nicholas Nethercote-24/+33
2023-02-06Improve early bailout test in `resolve_vars_if_possible`.Nicholas Nethercote-2/+2
2023-01-30Track bound types like bound regionsMichael Goulet-3/+3
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-3/+3
2023-01-12Rollup merge of #106714 - Ezrashaw:remove-e0490, r=davidtwconils-4/+0
2023-01-12remove unreachable error code `E0490`Ezra Shaw-4/+0
2023-01-11Move autoderef to rustc_hir_analysisMichael Goulet-0/+4