summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-12-28Movability doesn't need to be a query anymoreMichael Goulet-4/+4
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-61/+66
2023-12-26Auto merge of #118431 - sjwang05:issue-44695, r=estebankbors-108/+257
2023-12-26Auto merge of #119258 - compiler-errors:closure-kind, r=eholkbors-137/+102
2023-12-25Only regular coroutines have movabilityMichael Goulet-4/+4
2023-12-25Make closures carry their own ClosureKind, rather than deducing what it is fr...Michael Goulet-135/+100
2023-12-24Remove more `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-5/+5
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-67/+64
2023-12-22Rollup merge of #119198 - compiler-errors:desugaring, r=eholkMichael Goulet-31/+93
2023-12-23Improve some names.Nicholas Nethercote-1/+1
2023-12-23Give `DiagnosticBuilder` a default type.Nicholas Nethercote-24/+24
2023-12-22Split coroutine desugaring kind from sourceMichael Goulet-31/+93
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-16Provide better suggestions for T == &T and &T == Tsjwang05-108/+257
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-15unify query canonicalization modeAli MJ Al-Nasrawy-16/+5
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