about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
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/+19
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-5/+5
2023-03-03canonicalizationlcnr-8/+52
2023-03-03Match end user facing unmatched backticks in compiler/est31-5/+5
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-4/+4
2023-03-03Migrate diagnosticMichael Goulet-10/+18
2023-03-03Label opaque type for 'captures lifetime' error messageMichael Goulet-2/+6
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-2/+2
2023-02-28Some `infer/mod.rs` cleanupsNilstrieb-39/+11
2023-02-26Don't trigger ICE for ReError when the other region is empty.Lenko Donchev-2/+10
2023-02-26Rollup merge of #108424 - megakorre:elaborator_refactor, r=compiler-errorsMatthias Krüger-16/+15
2023-02-24rustc_infer: Consolidate obligation elaboration de-duplicationPatrik Kårlin-16/+15
2023-02-24Rename many interner functions.Nicholas Nethercote-7/+7
2023-02-23Auto merge of #108369 - compiler-errors:ty-error-more, r=BoxyUwUbors-1/+1
2023-02-23Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obkMatthias Krüger-28/+8
2023-02-23Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error...bors-1/+1
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-1/+1
2023-02-22Auto merge of #108357 - matthiaskrgr:rollup-ceo3q2s, r=matthiaskrgrbors-7/+5
2023-02-22Rollup merge of #108342 - lcnr:opaque-tys, r=oli-obkMatthias Krüger-6/+4
2023-02-22Rollup merge of #108176 - compiler-errors:bad-lexical-region-resolve-bug, r=o...Matthias Krüger-1/+1
2023-02-22Auto merge of #108340 - eggyal:remove_traversal_trait_aliases, r=oli-obkbors-77/+80
2023-02-22Remove type-traversal trait aliasesAlan Egerton-77/+80
2023-02-22diagnostics: if AssocFn has self argument, describe as methodMichael Howell-1/+1
2023-02-22apply query response: actually define opaque typeslcnr-6/+4
2023-02-22errors: generate typed identifiers in each crateDavid Wood-21/+374
2023-02-21Rollup merge of #108202 - compiler-errors:non_lifetime_binders-type-match-ice...Matthias Krüger-1/+2
2023-02-21Rollup merge of #104239 - b-naber:sccs-info, r=jackh726Matthias Krüger-5/+15
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-4/+7
2023-02-21Rollup merge of #108289 - compiler-errors:name-placeholder, r=petrochenkovDylan DPC-10/+17
2023-02-21Associated type bounds in some places in the compilerMichael Goulet-28/+8