about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/astconv
AgeCommit message (Expand)AuthorLines
2023-02-19Make public API, docs algorithm-agnosticJacob Pratt-2/+2
2023-02-18Rollup merge of #108186 - compiler-errors:closures-with-late-bound-types-r-ba...Matthias Krüger-46/+8
2023-02-18Move late-bound arg type checks to resolve_bound_varsMichael Goulet-46/+8
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-2/+2
2023-02-17Replace more `mk_foo` calls with `infer_foo`.Nicholas Nethercote-1/+1
2023-02-17Use `IntoIterator` for `mk_fn_sig`.Nicholas Nethercote-1/+1
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-1/+1
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-12/+20
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-11/+11
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-8/+8
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-16/+75
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-9/+12
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-16Make things actually workMichael Goulet-6/+21
2023-02-16Rename some region-specific stuffMichael Goulet-7/+7
2023-02-16be nice and don't sliceMatthias Krüger-2/+2
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-9/+12
2023-02-13Make can_eq and can_sub return booleansMichael Goulet-1/+0
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+2
2023-02-11Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnrbors-0/+1
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+1
2023-02-09Use `ErrorGuaranteed` more in `ReError`Esteban Küber-5/+5
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-5/+3
2023-02-09Introduce `ReError`Esteban Küber-9/+3
2023-02-03Make const/fn return params more suggestableMichael Goulet-6/+6
2023-01-31Rollup merge of #107467 - WaffleLapkin:uneq, r=oli-obkGuillaume Gomez-4/+3
2023-01-30Rollup merge of #107125 - WaffleLapkin:expect_an_item_in_your_hir_by_the_next...Matthias Krüger-2/+1
2023-01-30Replace enum `==`s with `match`es where it makes senseMaybe Waffle-4/+3
2023-01-28Rollup merge of #107100 - compiler-errors:issue-107087, r=lcnrMatthias Krüger-45/+61
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-1/+1
2023-01-23Use proper InferCtxt when probing for associated types in astconvMichael Goulet-45/+61
2023-01-20Add and use expect methods to hir.Maybe Waffle-2/+1
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-20/+20
2023-01-19Encode whether foreign opaques are TAITs or notMichael Goulet-1/+1
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-11/+11
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-11/+11
2023-01-17Self review suggestionsMaybe Waffle-3/+3
2023-01-17`rustc_hir_analysis`: remove `ref` patternsMaybe Waffle-21/+21
2023-01-15Rollup merge of #106072 - eopb:dyn-derive, r=estebankMatthias Krüger-1/+7
2023-01-14fix: misleading add `dyn` to derive macro suggestionEthan Brierley-1/+7
2023-01-14fix various subst_identity vs skip_binderKyle Matsuda-1/+1
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-3/+3
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-2/+2
2023-01-14change const_param_default query to return EarlyBinder; remove bound_const_pa...Kyle Matsuda-3/+1
2023-01-13Rollup merge of #106585 - estebank:issue-46585, r=compiler-errorsMatthias Krüger-17/+157
2023-01-11review comments: account for genericsEsteban Küber-2/+6
2023-01-11review commentsEsteban Küber-11/+4
2023-01-11When suggesting writing a fully qualified path probe for appropriate typesEsteban Küber-17/+160