about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-09-30Debug assert that unevaluated consts have the right substsMichael Goulet-0/+1
2024-09-30Auto merge of #129499 - fee1-dead-contrib:supereffects, r=compiler-errorsbors-0/+2
2024-09-27Auto merge of #130946 - matthiaskrgr:rollup-ia4mf0y, r=matthiaskrgrbors-11/+11
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-11/+11
2024-09-27properly elaborate effects implied bounds for super traitsDeadbeef-0/+2
2024-09-26Use `&raw` in the compilerJosh Stone-5/+5
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-11/+11
2024-09-24Rollup merge of #130764 - compiler-errors:inherent, r=estebankTrevor Gross-17/+3
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-9/+3
2024-09-24Separate collection of crate-local inherent impls from error reportingMichael Goulet-17/+3
2024-09-23Allow reborrowing pinned self methodsEric Holk-0/+10
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-114/+99
2024-09-21Rollup merge of #127766 - folkertdev:c-cmse-nonsecure-entry, r=jackh726Michael Goulet-0/+1
2024-09-21Auto merge of #127546 - workingjubilee:5-level-paging-exists, r=saethlinbors-1/+1
2024-09-21add `C-cmse-nonsecure-entry` ABIFolkert de Vries-0/+1
2024-09-20Only expect mono consts in CFIMichael Goulet-0/+4
2024-09-20Rollup merge of #130526 - eholk:pin-reborrow, r=compiler-errorsGuillaume Gomez-0/+3
2024-09-20TL note: current means targetJubilee Young-1/+1
2024-09-19Allow shortening reborrowsEric Holk-3/+2
2024-09-18Apply code review suggestionsEric Holk-1/+2
2024-09-18Begin experimental support for pin reborrowingEric Holk-0/+3
2024-09-18Rollup merge of #130457 - nnethercote:cleanup-codegen-traits, r=bjorn3Matthias Krüger-2/+2
2024-09-17Auto merge of #129970 - lukas-code:LayoutCalculator, r=compiler-errorsbors-43/+17
2024-09-17Use associative type defaults in `{Layout,FnAbi}OfHelpers`.Nicholas Nethercote-2/+2
2024-09-16Don't ICE when RPITIT captures more method args than trait definitionMichael Goulet-3/+5
2024-09-16layout computation: eagerly error for unexpected unsized fieldsLukas Markeffsky-17/+10
2024-09-16make `LayoutCx` not genericLukas Markeffsky-28/+9
2024-09-16Auto merge of #129716 - compiler-errors:closure-debuginfo, r=cjgillotbors-1/+4
2024-09-14Auto merge of #128543 - RalfJung:const-interior-mut, r=fee1-deadbors-9/+4
2024-09-14Consider synthetic closure bodies to be typeck childrenMichael Goulet-1/+4
2024-09-14Rollup merge of #130199 - compiler-errors:by-move, r=cjgillotStuart Cook-1/+1
2024-09-13Auto merge of #107251 - dingxiangfei2009:let-chain-rescope, r=jieyouxubors-1/+9
2024-09-12Re-enable `ConstArgKind::Path` lowering by defaultNoah Lev-13/+5
2024-09-12Auto merge of #130269 - Zalathar:rollup-coxzt2t, r=Zalatharbors-36/+32
2024-09-12Rollup merge of #130250 - compiler-errors:useless-conversion, r=jieyouxuStuart Cook-2/+2
2024-09-12Rollup merge of #130235 - compiler-errors:nested-if, r=michaelwoeristerStuart Cook-34/+30
2024-09-12Auto merge of #130249 - compiler-errors:sad-new-solver-coherence, r=lcnrbors-2/+2
2024-09-11Rollup merge of #130114 - eduardosm:needless-returns, r=compiler-errorsJubilee-2/+2
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-2/+2
2024-09-11clippy::useless_conversionMichael Goulet-2/+2
2024-09-11Simplify some nested if statementsMichael Goulet-34/+30
2024-09-10Auto merge of #129403 - scottmcm:only-array-simd, r=compiler-errorsbors-23/+15
2024-09-11rescope temp lifetime in let-chain into IfElseDing Xiang Fei-1/+9
2024-09-10Don't call closure_by_move_body_def_id on FnOnce async closures in MIR valida...Michael Goulet-1/+1
2024-09-10const-eval interning: accpt interior mutable pointers in final value (but kee...Ralf Jung-9/+4
2024-09-10Auto merge of #130179 - workingjubilee:rollup-l78cv44, r=workingjubileebors-0/+4
2024-09-09Ban non-array SIMDScott McMurray-23/+15
2024-09-10Auto merge of #129778 - RalfJung:interp-lossy-typed-copy, r=saethlinbors-0/+1
2024-09-09compiler: Inform the solver of concurrencyJubilee Young-0/+4
2024-09-09union padding computation: add fast-path for ZSTRalf Jung-0/+1