summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/astconv
AgeCommit message (Expand)AuthorLines
2023-03-02Rollup merge of #108575 - compiler-errors:erase, r=estebankMatthias Krüger-2/+4
2023-03-01Rollup merge of #108520 - compiler-errors:one-bound-nit, r=jackh726Matthias Krüger-20/+16
2023-02-28Erase **all** regions when probing for associated types in astconvMichael Goulet-2/+4
2023-02-26Small cleanup to one_bound_for_assoc_typeMichael Goulet-20/+16
2023-02-25Add ErrorGuaranteed to HIR TyKind::ErrMichael Goulet-1/+1
2023-02-24Replace a `mk_ty` call with `mk_bound`.Nicholas Nethercote-1/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-7/+9
2023-02-23Auto merge of #108369 - compiler-errors:ty-error-more, r=BoxyUwUbors-20/+19
2023-02-23Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error...bors-8/+5
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-17/+15
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-5/+6
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-22diagnostics: if AssocFn has self argument, describe as methodMichael Howell-8/+5
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-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-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