about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-4/+4
2023-03-03Migrate diagnosticMichael Goulet-10/+15
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/+27
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
2023-02-21Name placeholder in some region errorsMichael Goulet-10/+17
2023-02-20remove cfg attributesb-naber-5/+1
2023-02-20small `opaque_type_origin` cleanuplcnr-24/+16
2023-02-19collect existentials and placeholdersb-naber-6/+18
2023-02-19collect region contexts during mir renumberingb-naber-0/+2
2023-02-18Make sure test_type_match doesn't ICE with late-bound typesMichael Goulet-1/+2
2023-02-18Collapse placeholders to root universe in canonicalizer if not preserving uni...Michael Goulet-4/+9
2023-02-18Rollup merge of #108186 - compiler-errors:closures-with-late-bound-types-r-ba...Matthias Krüger-2/+4
2023-02-18Move late-bound arg type checks to resolve_bound_varsMichael Goulet-2/+4
2023-02-17Don't delay ReError bug during lexical region resolveMichael Goulet-1/+1
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-3/+3
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+4
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-6/+14
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-6/+6
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-3/+5
2023-02-17Rollup merge of #108136 - eggyal:unmet_trait_alias_bound_on_generic_impl, r=c...Matthias Krüger-1/+1
2023-02-17Rollup merge of #108104 - matthiaskrgr:into, r=compiler-errorsMatthias Krüger-2/+2
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-15/+15
2023-02-16Clarify `DerivedObligationCause` may hold alias idAlan Egerton-1/+1
2023-02-16Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgrbors-6/+4
2023-02-16don't into selfMatthias Krüger-2/+2
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-31/+29
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-6/+4