summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2024-01-31Rollup merge of #120469 - estebank:issue-40120, r=TaKO8KiNadrieril-16/+25
2024-01-30Provide more context on derived obligation error primary labelEsteban Küber-16/+25
2024-01-30Auto merge of #119101 - compiler-errors:outlives, r=lcnrbors-1/+46
2024-01-30Rollup merge of #120485 - chenyukang:yukang-add-query-instability-check, r=mi...Guillaume Gomez-0/+1
2024-01-30Rollup merge of #120342 - oli-obk:track_errors6, r=nnethercoteGuillaume Gomez-115/+136
2024-01-30Rollup merge of #120293 - estebank:issue-102629, r=nnethercoteGuillaume Gomez-2/+10
2024-01-30add missing potential_query_instability for keys and values in hashmapyukang-0/+1
2024-01-30Apply suggestions from reviewMichael Goulet-3/+6
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-1/+43
2024-01-29merge builtin unsize candidates againlcnr-87/+41
2024-01-29bye bye `assemble_candidates_via_self_ty`lcnr-111/+31
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-22/+18
2024-01-26Auto merge of #119968 - clubby789:unused-feature, r=compiler-errorsbors-1/+0
2024-01-26Auto merge of #116167 - RalfJung:structural-eq, r=lcnrbors-1/+1
2024-01-25Track ErrorGuaranteed instead of conjuring it from thin airOli Scherer-11/+20
2024-01-25Statically ensure report_selection_error actually reports an errorOli Scherer-106/+118
2024-01-25Remove unused featuresclubby789-1/+0
2024-01-25Rollup merge of #119389 - estebank:issue-116925, r=TaKO8KiMatthias Krüger-45/+195
2024-01-24remove StructuralEq traitRalf Jung-1/+1
2024-01-24Deduplicate more sized errors on call exprsEsteban Küber-2/+10
2024-01-24Remove extra # from urlest31-1/+1
2024-01-23Rollup merge of #120270 - compiler-errors:randos, r=lcnrLeón Orell Valerian Liehr-35/+13
2024-01-23Rollup merge of #119805 - chenyukang:yukang-fix-119530, r=davidtwcoLeón Orell Valerian Liehr-0/+4
2024-01-23Random type checker changesMichael Goulet-35/+13
2024-01-23Auto merge of #120017 - nnethercote:lint-api, r=oli-obkbors-9/+9
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-6/+6
2024-01-23Rename `TyCtxt::struct_span_lint_hir` as `TyCtxt::node_span_lint`.Nicholas Nethercote-2/+2
2024-01-23Rename `LintLevelsBuilder::struct_lint` as `LintLevelsBuilder::opt_span_lint`.Nicholas Nethercote-1/+1
2024-01-22Account for single `where` bound being removedEsteban Küber-3/+19
2024-01-22Revert "Auto merge of #118133 - Urgau:stabilize_trait_upcasting, r=WaffleLapkin"Oli Scherer-0/+51
2024-01-21Suggest arry::from_fn for array initializationyukang-0/+4
2024-01-20Rollup merge of #119613 - gavinleroy:expose-obligations, r=lcnrMatthias Krüger-60/+76
2024-01-19Account for trailing comma in removal suggestionEsteban Küber-3/+26
2024-01-19Provide more context on recursive `impl` evaluation overflowEsteban Küber-45/+156
2024-01-19Add trait obligation tracking to FulfillCtxt and expose FnCtxt in rustc_infer...Gavin Gray-60/+76
2024-01-19use implied bounds compat mode in MIR borrowcklcnr-2/+10
2024-01-17Don't use compat versions of implied bounds in ImpliedOutlivesBounds queryJack Huey-2/+2
2024-01-17Add -Zno-implied-bounds-compat option and use itJack Huey-3/+17
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-95/+191
2024-01-17Auto merge of #120019 - lcnr:fn-wf, r=BoxyUwUbors-22/+49
2024-01-16Rollup merge of #119816 - oli-obk:tait_ice_unify_obligations, r=lcnrMatthias Krüger-1/+1
2024-01-16try fast path for wf type opsAli MJ Al-Nasrawy-0/+17
2024-01-16wf-check type annotations before normalizationAli MJ Al-Nasrawy-22/+32
2024-01-15Rollup merge of #119963 - clubby789:spec-allow-internal-unstable, r=compiler-...Matthias Krüger-3/+23
2024-01-15Rollup merge of #119897 - compiler-errors:fulfillment-errors, r=lcnrMatthias Krüger-59/+55
2024-01-14`allow_internal_unstable(min_specialization)` on `newtype_index`clubby789-13/+19
2024-01-14Fix `allow_internal_unstable` for `(min_)specialization`clubby789-3/+17
2024-01-14Auto merge of #119361 - sjwang05:issue-119352, r=WaffleLapkinbors-0/+8
2024-01-14Auto merge of #119934 - compiler-errors:could-impl, r=jackh726bors-58/+43
2024-01-13assert that trait solver is only created in proper infcxMichael Goulet-0/+10