about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
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/+22
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/+22
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-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
2023-02-18Rollup merge of #108186 - compiler-errors:closures-with-late-bound-types-r-ba...Matthias Krüger-85/+114
2023-02-18Move late-bound arg type checks to resolve_bound_varsMichael Goulet-85/+114
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-27/+14
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-54/+54
2023-02-17Replace more `mk_foo` calls with `infer_foo`.Nicholas Nethercote-10/+6
2023-02-17Use `IntoIterator` for `mk_fn_sig`.Nicholas Nethercote-16/+7
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-1/+1
2023-02-17add predicate evaluation logicBoxy-5/+62
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-1/+3
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-71/+84
2023-02-16fix new usage of type_ofKyle Matsuda-1/+1
2023-02-16changes from reviewKyle Matsuda-2/+10
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-79/+71
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-59/+72
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-203/+306
2023-02-16Move call trait lang item malformed check to typeckMichael Goulet-51/+1
2023-02-16Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgrbors-8/+3
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-58/+49
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-1/+1
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-7/+2
2023-02-16Rollup merge of #108103 - matthiaskrgr:lice, r=compiler-errorsDylan DPC-2/+2
2023-02-16Deny some late-bound ty/ct in some positions, add testsMichael Goulet-3/+47
2023-02-16A bit more work on late-bound constsMichael Goulet-5/+1
2023-02-16Make things actually workMichael Goulet-89/+141