about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-24/+24
2023-12-22Auto merge of #118824 - aliemjay:perf-region-cons, r=compiler-errorsbors-1/+1
2023-12-22Auto merge of #119097 - nnethercote:fix-EmissionGuarantee, r=compiler-errorsbors-5/+7
2023-12-20Rollup merge of #119071 - lcnr:overflowo, r=compiler-errorsMatthias Krüger-99/+204
2023-12-19add commentlcnr-0/+14
2023-12-19Remove unnecessary param-env from lexical region resolution and fully structu...Michael Goulet-7/+2
2023-12-19Rollup merge of #119091 - compiler-errors:alias-eq-in-structural-normalize, r...Matthias Krüger-30/+31
2023-12-19Add `level` arg to `into_diagnostic`.Nicholas Nethercote-5/+7
2023-12-18Check FnPtr/FnDef built-in fn traits correctly with effectsMichael Goulet-21/+70
2023-12-18Use alias-eq in structural normalizationMichael Goulet-30/+31
2023-12-18dont discard overflow from normalizes-to goalslcnr-22/+45
2023-12-18track the source of nested goalslcnr-77/+145
2023-12-18Rename many `DiagCtxt` arguments.Nicholas Nethercote-2/+2
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-4/+2
2023-12-18Rename `Handler` as `DiagCtxt`.Nicholas Nethercote-2/+2
2023-12-17Rollup merge of #119022 - compiler-errors:no-constness, r=fee1-deadMatthias Krüger-15/+10
2023-12-17Auto merge of #119048 - aliemjay:perf-register-pred, r=compiler-errorsbors-2/+3
2023-12-17don't fold ParamEnv in register_predicate_obligationAli MJ Al-Nasrawy-2/+3
2023-12-17use Vec for region constraintsAli MJ Al-Nasrawy-1/+1
2023-12-16Remove unnecessary constness from ProjectionCandidateMichael Goulet-15/+10
2023-12-15Rollup merge of #119004 - matthiaskrgr:conv, r=compiler-errorsJubilee-4/+3
2023-12-15NFC don't convert types to identical typesMatthias Krüger-4/+3
2023-12-15Rollup merge of #118981 - krtab:onelessalloc, r=compiler-errorsJubilee-1/+1
2023-12-15Rollup merge of #118727 - compiler-errors:lint-decorate, r=WaffleLapkinJubilee-3/+0
2023-12-15Rollup merge of #118396 - compiler-errors:ast-lang-items, r=cjgillotJubilee-2/+8
2023-12-15banish hir::GenericBound::LangItemTraitMichael Goulet-2/+8
2023-12-15Don't pass lint back out of lint decoratorMichael Goulet-3/+0
2023-12-15Annotate some bugsMichael Goulet-27/+51
2023-12-15Remove an unneeded allocationArthur Carcano-1/+1
2023-12-14Unconditionally register alias-relate in projection goalMichael Goulet-11/+23
2023-12-14reviewlcnr-1/+1
2023-12-14consistently use "next solver" instead of "new solver"lcnr-13/+13
2023-12-14update use of feature flagslcnr-14/+13
2023-12-14rename `-Ztrait-solver` to `-Znext-solver`lcnr-37/+36
2023-12-14Auto merge of #117749 - aliemjay:perf-canon-cache, r=lcnrbors-4/+4
2023-12-13Tweak `short_ty_string` to reduce number of filesEsteban Küber-28/+36
2023-12-13global param_env canonicalization cacheAli MJ Al-Nasrawy-4/+4
2023-12-13Auto merge of #118500 - ZetaNumbers:tcx_hir_refactor, r=petrochenkovbors-32/+30
2023-12-12Rollup merge of #118889 - matthiaskrgr:compl_2023_2, r=WaffleLapkinJubilee-3/+2
2023-12-12Rollup merge of #118885 - matthiaskrgr:compl_2023, r=compiler-errorsJubilee-1/+1
2023-12-12more clippy::complexity fixesMatthias Krüger-3/+2
2023-12-12clippy::complexity fixesMatthias Krüger-1/+1
2023-12-12Auto merge of #118881 - matthiaskrgr:rollup-0rl3tir, r=matthiaskrgrbors-13/+23
2023-12-12Rollup merge of #116740 - lenko-d:const_evaluatable_failed_for_non_unevaluate...Matthias Krüger-13/+23
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-32/+30
2023-12-12refactor writeback: emit normalization errors with new solverlcnr-5/+4
2023-12-11Auto merge of #118661 - fee1-dead-contrib:restore-const-partialEq, r=compiler...bors-2/+5
2023-12-10fix host param for `PartialEq`Deadbeef-2/+5
2023-12-10remove redundant importssurechen-2/+0
2023-12-09report_not_const_evaluatable_error to avoid ICEing on ConstKind::ExprLenko Donchev-13/+23