about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2023-03-08Don't report E0740 for type errorMichael Goulet-1/+3
2023-03-07Auto merge of #95317 - Jules-Bertholet:round_ties_to_even, r=pnkfelix,m-ou-se...bors-0/+2
2023-03-06Collect newly synthesized RPITITs on ImplTraitInTraitCollectorSantiago Pastorino-1/+1
2023-03-06Avoid accessing HIR for RPITITs on check_type_boundsSantiago Pastorino-7/+14
2023-03-05Rollup merge of #108764 - cjgillot:dpm-adapt, r=compiler-errorsMatthias Krüger-0/+8
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-4/+2
2023-03-05drop_tracking_mir: diagnose recursive generator.Camille GILLOT-0/+8
2023-03-03Match unmatched backticks in comments in compiler/est31-1/+1
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-4/+2
2023-03-01Use FxIndexSet instead of FxHashSet for asm_target_features query.Michael Woerister-3/+3
2023-02-28Descriptive error when users try to combine RPITIT/AFIT with specializationMichael Goulet-4/+36
2023-02-27Rollup merge of #108319 - compiler-errors:dont-project-to-specializable-rpiti...Matthias Krüger-0/+7
2023-02-24Rename many interner functions.Nicholas Nethercote-16/+13
2023-02-23Auto merge of #108369 - compiler-errors:ty-error-more, r=BoxyUwUbors-1/+1
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-3/+3
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-10/+12
2023-02-22diagnostics: if AssocFn has self argument, describe as methodMichael Howell-3/+3
2023-02-21Auto merge of #108138 - compiler-errors:malformed-fn-trait, r=TaKO8Kibors-51/+1
2023-02-18Assume we can normalize trait default method RPITITs in param-env insteadMichael Goulet-1/+1
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-22/+10
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-46/+46
2023-02-17Replace more `mk_foo` calls with `infer_foo`.Nicholas Nethercote-9/+5
2023-02-17Use `IntoIterator` for `mk_fn_sig`.Nicholas Nethercote-12/+4
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-1/+1
2023-02-16fix new usage of type_ofKyle Matsuda-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-39/+30
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-27/+40
2023-02-16Move call trait lang item malformed check to typeckMichael Goulet-51/+1
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-40/+30
2023-02-15Rollup merge of #108010 - compiler-errors:can_eq-returns-bool, r=lcnrMatthias Krüger-2/+2
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-46/+46
2023-02-15Auto merge of #108006 - cjgillot:def-impl, r=oli-obkbors-120/+77
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-40/+30
2023-02-14Even less HIR.Camille GILLOT-14/+8
2023-02-14Fetch less HIR in signature check.Camille GILLOT-111/+72
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-13/+15
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+1
2023-02-13Make can_eq and can_sub return booleansMichael Goulet-2/+2
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-5/+5
2023-02-13Make folding traits generic over the InternerAlan Egerton-2/+2
2023-02-13Make visiting traits generic over the InternerAlan Egerton-4/+4
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-6/+6
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-4/+3
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-7/+1
2023-02-09Introduce `ReError`Esteban Küber-1/+1
2023-02-09Auto merge of #106938 - GuillaumeGomez:normalize-projection-field-ty, r=oli-obkbors-1/+1
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-2/+2
2023-01-31Rollup merge of #107486 - compiler-errors:bound-ty-keep-name, r=oli-obkGuillaume Gomez-1/+1