about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2023-03-22stop special-casing `'static` in evaluatelcnr-20/+4
2023-03-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-0/+10
2023-03-21Auto merge of #109453 - matthiaskrgr:rollup-odn02wu, r=matthiaskrgrbors-4/+13
2023-03-21Rollup merge of #109336 - compiler-errors:constrain-to-ct-err, r=BoxyUwUMatthias Krüger-4/+13
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-3/+2
2023-03-21Use local key in providersMichael Goulet-3/+3
2023-03-21enable `intercrate` in the solver `InferCtxt`lcnr-2/+2
2023-03-21evaluate: improve and fix recursion depth handlinglcnr-0/+10
2023-03-19Rollup merge of #105793 - lukas-code:circular-deps, r=Mark-SimulacrumDylan DPC-7/+14
2023-03-19Constrain const vars to error if const types are mismatchedMichael Goulet-4/+13
2023-03-17Remove VecMapMichael Goulet-5/+3
2023-03-17Fast path that skips over unchanged obligations in process_obligationsThe 8472-0/+37
2023-03-17Rollup merge of #109198 - compiler-errors:new-rpitit-default-body, r=spastorinoMatthias Krüger-16/+13
2023-03-16Rollup merge of #109166 - lcnr:define_opaque_types-explicit, r=oli-obkMatthias Krüger-87/+118
2023-03-15ImplTraitPlaceholder -> is_impl_trait_in_traitSantiago Pastorino-16/+13
2023-03-15always make `define_opaque_types` explicitlcnr-87/+118
2023-03-15Auto merge of #107376 - aliemjay:remove-givens, r=lcnrbors-129/+18
2023-03-14Don't make projection tys out of anon constsMichael Goulet-20/+9
2023-03-12Rollup merge of #108726 - est31:backticks_matchmaking_tidy, r=NilstriebMatthias Krüger-1/+1
2023-03-11Simplify message pathsest31-1/+1
2023-03-11Address the new odd backticks tidy lint in compiler/est31-1/+1
2023-03-11Rollup merge of #108071 - compiler-errors:new-solver-caching, r=lcnrMatthias Krüger-0/+6
2023-03-10Move some solver stuff to middleMichael Goulet-0/+6
2023-03-10Rollup merge of #108947 - compiler-errors:ct-infer-no-shapeshifting, r=BoxyUwUMatthias Krüger-7/+15
2023-03-10Rollup merge of #108828 - compiler-errors:new-solver-alias-eq-on-num-var, r=lcnrMatthias Krüger-17/+62
2023-03-09Remove body_def_id from InheritedMichael Goulet-4/+4
2023-03-09Make some report and emit errors take DefIds instead of BodyIdsSantiago Pastorino-4/+6
2023-03-09Bail in combine if consts have different typesMichael Goulet-7/+15
2023-03-09Fix canonicalizer bug for int/float vars tooMichael Goulet-9/+44
2023-03-09Emit alias-eq when equating numeric var and projectionMichael Goulet-8/+18
2023-03-09exhaustive match on implied bounds regionsAli MJ Al-Nasrawy-15/+8
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-126/+22
2023-03-08Rollup merge of #108839 - compiler-errors:canonicalize-the-root-var, r=lcnrMatthias Krüger-4/+26
2023-03-08Auto merge of #108121 - aliemjay:resolve-var-region, r=lcnrbors-40/+32
2023-03-08address review commentAli MJ Al-Nasrawy-4/+7
2023-03-07fix var equality issue with old canonicalizerMichael Goulet-4/+22
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-05Add note for mismatched types with circular dependenciesLukas Markeffsky-7/+14
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-2/+2
2023-03-05fix the new unsoundnessAli MJ Al-Nasrawy-1/+8
2023-03-05s/unification_table/unification_table_mutAli MJ Al-Nasrawy-7/+8
2023-03-05resolve to universal regions when possibleAli MJ Al-Nasrawy-36/+17
2023-03-04infer: fix and improve commentsTshepang Mbambo-29/+32
2023-03-04field is not used outside the crateTshepang Mbambo-3/+3
2023-03-03Auto merge of #108709 - matthiaskrgr:rollup-j2tjbyx, r=matthiaskrgrbors-7/+16
2023-03-03Rollup merge of #108694 - est31:backticks_matchmaking_comments, r=NilstriebMatthias Krüger-4/+4
2023-03-03Rollup merge of #108685 - est31:backticks_matchmaking, r=petrochenkovMatthias Krüger-1/+1
2023-03-03canonicalizationlcnr-8/+52
2023-03-03Match end user facing unmatched backticks in compiler/est31-1/+1