about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2024-10-29Rollup merge of #132194 - compiler-errors:rpitit-super-wc, r=spastorinoJubilee-14/+2
2024-10-29Rollup merge of #132119 - compiler-errors:effects-old-solver, r=lcnrJubilee-12/+0
2024-10-28Hack out effects support for old solverMichael Goulet-12/+0
2024-10-28Rollup merge of #132255 - workingjubilee:layout-is-🏚️, r=compiler-errorsJubilee-1/+1
2024-10-28Rollup merge of #132249 - workingjubilee:add-rustc-abi, r=compiler-errorsJubilee-3/+3
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-1/+1
2024-10-28Rollup merge of #132243 - compiler-errors:no-span, r=jieyouxu许杰友 Jieyou Xu (Joe)-3/+3
2024-10-28Rollup merge of #132227 - compiler-errors:better-const-span, r=Nadrieril许杰友 Jieyou Xu (Joe)-16/+9
2024-10-27compiler: Add rustc_abi dependence to the compilerJubilee Young-3/+3
2024-10-27Remove ObligationCause::span() methodMichael Goulet-3/+3
2024-10-27Rollup merge of #132214 - fmease:mv-impl-trait-val-paths, r=compiler-errorsMatthias Krüger-9/+0
2024-10-27Rollup merge of #132043 - compiler-errors:simplify-rbv, r=cjgillotMatthias Krüger-79/+75
2024-10-27Move an impl-Trait check from AST validation to AST loweringLeón Orell Valerian Liehr-9/+0
2024-10-26Pass constness with span into lower_poly_trait_refMichael Goulet-16/+9
2024-10-26Collect item bounds for RPITITs from trait where clauses just like associated...Michael Goulet-14/+2
2024-10-26Rollup merge of #132168 - fee1-dead-contrib:fxclean, r=compiler-errorsMatthias Krüger-30/+10
2024-10-26Effects cleanupDeadbeef-30/+10
2024-10-25tcx.is_const_fn doesn't work the way it is described, remove itRalf Jung-1/+1
2024-10-24Auto merge of #132116 - matthiaskrgr:rollup-3a0ia4r, r=matthiaskrgrbors-3/+1
2024-10-24Rollup merge of #131983 - dingxiangfei2009:stabilize-shorter-tail-lifetimes, ...Matthias Krüger-3/+1
2024-10-24Be better at enforcing that const_conditions is only called on const itemsMichael Goulet-72/+37
2024-10-24Implement const effect predicate in new solverMichael Goulet-34/+503
2024-10-24Remove associated type based effects logicMichael Goulet-216/+7
2024-10-24Rollup merge of #131756 - compiler-errors:deeply-normalize-type-err, r=lcnrStuart Cook-8/+12
2024-10-24Rollup merge of #130225 - adetaylor:rename-old-receiver, r=wesleywiserStuart Cook-1/+1
2024-10-24Plumb through param_env to note_type_errMichael Goulet-8/+12
2024-10-23Rollup merge of #131979 - compiler-errors:compare-pred-entail, r=fmeaseLeón Orell Valerian Liehr-91/+66
2024-10-24stabilize shorter-tail-lifetimesDing Xiang Fei-3/+1
2024-10-23More compare_impl_item simplificationsMichael Goulet-73/+52
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-34/+36
2024-10-22Deduplicate handling of early-bound params in RTNMichael Goulet-22/+29
2024-10-22Simplify confusing ResolvedArg constructorsMichael Goulet-57/+46
2024-10-22Represent TraitBoundModifiers as distinct parts in HIRMichael Goulet-20/+18
2024-10-22Rollup merge of #131049 - compiler-errors:more-validation, r=spastorinoMatthias Krüger-2/+1
2024-10-22Rename Receiver -> LegacyReceiverAdrian Taylor-1/+1
2024-10-22Auto merge of #129935 - RalfJung:unsupported_calling_conventions, r=compiler-...bors-28/+17
2024-10-21Auto merge of #131988 - matthiaskrgr:rollup-tx173wn, r=matthiaskrgrbors-21/+21
2024-10-21Rollup merge of #131981 - compiler-errors:bound-constness, r=cjgillotMatthias Krüger-21/+21
2024-10-21Auto merge of #130950 - compiler-errors:yeet-eval, r=BoxyUwUbors-4/+6
2024-10-20tweak hybrid predsMichael Goulet-18/+14
2024-10-20Remove the BoundConstness::NotConst variantMichael Goulet-21/+21
2024-10-20Inline lower_mono_bounds into lower_poly_boundsMichael Goulet-39/+17
2024-10-20Make LowerPolyBounds take an IntoIteratorMichael Goulet-5/+5
2024-10-20make unsupported_calling_conventions a hard errorRalf Jung-28/+17
2024-10-19Rollup merge of #131939 - compiler-errors:predicate-filter, r=fmeaseMatthias Krüger-95/+61
2024-10-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-4/+6
2024-10-19Use PredicateFilter instead of OnlySelfBoundsMichael Goulet-95/+61
2024-10-19Remove unnecessary constnessMichael Goulet-45/+16
2024-10-17Rollup merge of #128391 - cafce25:issue-128390, r=lcnrMatthias Krüger-3/+6
2024-10-16Rollup merge of #131753 - compiler-errors:swap-secondary, r=jieyouxuMatthias Krüger-7/+3