about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2024-10-26Auto merge of #125116 - blyxyas:ignore-allowed-lints-final, r=cjgillotbors-0/+6
2024-10-26Rollup merge of #132168 - fee1-dead-contrib:fxclean, r=compiler-errorsMatthias Krüger-10/+4
2024-10-26Effects cleanupDeadbeef-10/+4
2024-10-25tcx.is_const_fn doesn't work the way it is described, remove itRalf Jung-36/+23
2024-10-25Re-do recursive const stability checksRalf Jung-1/+1
2024-10-24Be better at enforcing that const_conditions is only called on const itemsMichael Goulet-2/+68
2024-10-24Implement const effect predicate in new solverMichael Goulet-11/+155
2024-10-24Remove associated type based effects logicMichael Goulet-152/+10
2024-10-24Rollup merge of #131623 - matthiaskrgr:clippy_sat, r=NadrierilStuart Cook-2/+2
2024-10-23fix a couple clippy:complexitysMatthias Krüger-2/+2
2024-10-23Rollup merge of #131979 - compiler-errors:compare-pred-entail, r=fmeaseLeón Orell Valerian Liehr-1/+3
2024-10-23More compare_impl_item simplificationsMichael Goulet-1/+3
2024-10-23Auto merge of #132027 - RalfJung:lang-feature-bool-fields, r=nnethercotebors-12/+12
2024-10-23Auto merge of #132044 - lcnr:no-relate-abi, r=compiler-errorsbors-27/+5
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-12/+12
2024-10-23remove `PredicatePolarity` and `BoundConstness` relate implslcnr-3/+0
2024-10-22do not relate `Abi` and `Safety`lcnr-24/+5
2024-10-22Represent TraitBoundModifiers as distinct parts in HIRMichael Goulet-1/+1
2024-10-22Auto merge of #132035 - matthiaskrgr:rollup-ty1e4q0, r=matthiaskrgrbors-0/+21
2024-10-22Rollup merge of #131049 - compiler-errors:more-validation, r=spastorinoMatthias Krüger-0/+21
2024-10-22Auto merge of #131321 - RalfJung:feature-activation, r=nnethercotebors-5/+5
2024-10-22terminology: #[feature] *enables* a feature (instead of "declaring" or "activ...Ralf Jung-5/+5
2024-10-21Rollup merge of #130432 - azhogin:azhogin/regparm, r=workingjubilee,pnkfelixJubilee-1/+15
2024-10-21Rollup merge of #130350 - RalfJung:strict-provenance, r=dtolnayMatthias Krüger-1/+0
2024-10-21move strict provenance lints to new feature gate, remove old feature gatesRalf Jung-1/+0
2024-10-21Auto merge of #131988 - matthiaskrgr:rollup-tx173wn, r=matthiaskrgrbors-28/+9
2024-10-21Rollup merge of #131981 - compiler-errors:bound-constness, r=cjgillotMatthias Krüger-4/+8
2024-10-21Auto merge of #130950 - compiler-errors:yeet-eval, r=BoxyUwUbors-109/+54
2024-10-20Remove the BoundConstness::NotConst variantMichael Goulet-4/+8
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-24/+1
2024-10-19Rename normalize to normalize_internal, remove unnecessary usagesMichael Goulet-2/+2
2024-10-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-108/+53
2024-10-19Remove module passes filteringblyxyas-1/+1
2024-10-19Follow review comments (optimize the filtering)blyxyas-1/+2
2024-10-19Change lints_to_emit to lints_that_actually_runblyxyas-1/+1
2024-10-19Do not run lints that cannot emitblyxyas-1/+6
2024-10-19interpret errors: add map_err_kind, rename InterpError -> InterpErrorKindRalf Jung-36/+47
2024-10-18Rollup merge of #131802 - compiler-errors:fnonce-coverage, r=Zalathar许杰友 Jieyou Xu (Joe)-0/+1
2024-10-18Dont ICE when computing coverage of synthetic async closure bodyMichael Goulet-0/+1
2024-10-18rust_for_linux: -Zregparm=<N> commandline flag for X86 (#116972)Andrew Zhogin-1/+15
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-28/+31
2024-10-17`DropckOutlives` to `rustc_middle`lcnr-6/+15
2024-10-17remove type_op constructorslcnr-25/+1
2024-10-17`ImpliedOutlivesBounds` to `rustc_middle`lcnr-6/+14
2024-10-16Rollup merge of #131381 - Nadrieril:min-match-ergonomics, r=pnkfelixMatthias Krüger-7/+8
2024-10-16Auto merge of #131481 - nnethercote:rm-GenKillSet, r=cjgillotbors-7/+0
2024-10-16Auto merge of #131422 - GnomedDev:smallvec-predicate-obligations, r=compiler-...bors-4/+5
2024-10-15Auto merge of #130654 - lcnr:stabilize-coherence-again, r=compiler-errorsbors-2/+2
2024-10-15stabilize `-Znext-solver=coherence`lcnr-2/+2
2024-10-15Rollup merge of #131652 - compiler-errors:modifiers, r=Nadrieril,jieyouxuMatthias Krüger-1/+2