about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2023-02-28Descriptive error when users try to combine RPITIT/AFIT with specializationMichael Goulet-4/+36
2023-02-27Rollup merge of #108363 - cjgillot:unused-crate, r=WaffleLapkinMatthias Krüger-161/+2
2023-02-27Rollup merge of #108319 - compiler-errors:dont-project-to-specializable-rpiti...Matthias Krüger-0/+7
2023-02-26Small cleanup to one_bound_for_assoc_typeMichael Goulet-20/+16
2023-02-26Rollup merge of #108379 - compiler-errors:hir-error-guaranteed, r=cjgillotMatthias Krüger-1/+1
2023-02-26hir-analysis: make a helpful noteTshepang Mbambo-2/+3
2023-02-25Add ErrorGuaranteed to HIR TyKind::ErrMichael Goulet-1/+1
2023-02-25Auto merge of #108450 - matthiaskrgr:rollup-rqvfgu3, r=matthiaskrgrbors-63/+107
2023-02-25Auto merge of #108250 - nnethercote:rename-interner-funcs, r=compiler-errorsbors-26/+25
2023-02-25Rollup merge of #108434 - obeis:hir-analysis-migrate-diagnostics, r=NilstriebMatthias Krüger-63/+107
2023-02-24Migrate `rustc_hir_analysis` to session diagnosticObei Sideg-63/+107
2023-02-24Rollup merge of #108401 - notriddle:notriddle/diagnostics-article, r=compiler...Dylan DPC-1/+1
2023-02-24Replace a `mk_ty` call with `mk_bound`.Nicholas Nethercote-1/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-25/+24
2023-02-23diagnostics: remove inconsistent English article "this" from E0107Michael Howell-1/+1
2023-02-23Remove translation.Camille GILLOT-8/+0
2023-02-23Auto merge of #108369 - compiler-errors:ty-error-more, r=BoxyUwUbors-31/+31
2023-02-23Rollup merge of #108373 - tshepang:where-clause-on-main, r=compiler-errorsMatthias Krüger-10/+16
2023-02-23Drive-by assertion in collect_return_position_impl_trait_in_trait_tysMichael Goulet-0/+7
2023-02-23Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error...bors-14/+11
2023-02-23hir-analysis: make where-clause-on-main diagnostic translatableTshepang Mbambo-10/+16
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-27/+23
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-13/+17
2023-02-22Move the unused extern crate check back to the resolver.Camille GILLOT-153/+2
2023-02-22Auto merge of #108340 - eggyal:remove_traversal_trait_aliases, r=oli-obkbors-28/+29
2023-02-22Remove type-traversal trait aliasesAlan Egerton-28/+29
2023-02-22diagnostics: if AssocFn has self argument, describe as methodMichael Howell-14/+11
2023-02-22Auto merge of #103042 - davidtwco:translation-distributed-ftl, r=oli-obkbors-15/+153
2023-02-22Rollup merge of #108230 - LittleFall:enhance/warning, r=estebankGuillaume Gomez-22/+24
2023-02-22errors: generate typed identifiers in each crateDavid Wood-15/+153
2023-02-22Convert a hard-warning about named static lifetimes into lint "unused_lifetimes"Zhi Qi-22/+24
2023-02-21hir-analysis: make one diagnostic translatableTshepang Mbambo-4/+10
2023-02-21Auto merge of #108138 - compiler-errors:malformed-fn-trait, r=TaKO8Kibors-51/+1
2023-02-21Use `ThinVec` in various AST types.Nicholas Nethercote-1/+2
2023-02-20Rollup merge of #108265 - lcnr:cg-error-msg, r=BoxyUwUMatthias Krüger-6/+6
2023-02-20Rollup merge of #108200 - jhpratt:restricted-damerau-levenshtein-distance, r=...Matthias Krüger-2/+2
2023-02-20`const` generic -> const parameter in err msglcnr-6/+6
2023-02-20Auto merge of #105961 - fmease:iat-type-directed-probing, r=jackh726bors-55/+441
2023-02-19Add some FIXMEs for follow-up PRsLeón Orell Valerian Liehr-4/+9
2023-02-19Collect fulfillment errors across implsLeón Orell Valerian Liehr-2/+2
2023-02-19Deduplicate fresh_item_substsLeón Orell Valerian Liehr-31/+34
2023-02-19Fix substitution bugLeón Orell Valerian Liehr-17/+14
2023-02-19Use InferCtxt::probe to properly detect ambiguous candidatesLeón Orell Valerian Liehr-21/+26
2023-02-19Switch from for-loop to filter_mapLeón Orell Valerian Liehr-27/+26
2023-02-19Groundwork for detecting ambiguous candidatesLeón Orell Valerian Liehr-2/+85
2023-02-19Make use of ObligationCtxtLeón Orell Valerian Liehr-54/+33
2023-02-19Use the correct ParamEnvLeón Orell Valerian Liehr-1/+1
2023-02-19Type-directed probing for inherent associated typesLeón Orell Valerian Liehr-54/+369
2023-02-19Make public API, docs algorithm-agnosticJacob Pratt-2/+2
2023-02-18Assume we can normalize trait default method RPITITs in param-env insteadMichael Goulet-1/+1