about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-10-31Try to point out when edition 2024 lifetime capture rules cause borrowck issuesMichael Goulet-1/+1
2024-10-31Encode cross-crate opaque type originMichael Goulet-5/+4
2024-10-31Auto merge of #132377 - matthiaskrgr:rollup-3p1c6hs, r=matthiaskrgrbors-12/+0
2024-10-30Remove dead code stemming from the old effects desugaringLeón Orell Valerian Liehr-12/+0
2024-10-30Rollup merge of #132344 - compiler-errors:same-thing, r=lcnrJubilee-8/+8
2024-10-30Rollup merge of #132246 - workingjubilee:campaign-on-irform, r=compiler-errorsJubilee-3/+4
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-8/+8
2024-10-30Remap impl-trait lifetimes on HIR instead of AST lowering.Camille GILLOT-6/+7
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-3/+4
2024-10-29TypingMode :thinking:lcnr-13/+8
2024-10-29Remove region from adjustmentsMichael Goulet-11/+10
2024-10-28Rollup merge of #132255 - workingjubilee:layout-is-🏚️, r=compiler-errorsJubilee-1/+1
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-1/+1
2024-10-27compiler: Rename LayoutS to LayoutDataJubilee Young-6/+6
2024-10-26Rollup merge of #132168 - fee1-dead-contrib:fxclean, r=compiler-errorsMatthias Krüger-6/+2
2024-10-26Effects cleanupDeadbeef-6/+2
2024-10-25tcx.is_const_fn doesn't work the way it is described, remove itRalf Jung-29/+17
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/+136
2024-10-24Remove associated type based effects logicMichael Goulet-79/+10
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-10/+10
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-10/+10
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-1/+1
2024-10-22terminology: #[feature] *enables* a feature (instead of "declaring" or "activ...Ralf Jung-1/+1
2024-10-21Rollup merge of #130432 - azhogin:azhogin/regparm, r=workingjubilee,pnkfelixJubilee-1/+15
2024-10-21Auto merge of #131988 - matthiaskrgr:rollup-tx173wn, r=matthiaskrgrbors-22/+8
2024-10-21Rollup merge of #131981 - compiler-errors:bound-constness, r=cjgillotMatthias Krüger-4/+8
2024-10-20Remove the BoundConstness::NotConst variantMichael Goulet-4/+8
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-18/+0
2024-10-19Rename normalize to normalize_internal, remove unnecessary usagesMichael Goulet-1/+1
2024-10-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-103/+40
2024-10-18rust_for_linux: -Zregparm=<N> commandline flag for X86 (#116972)Andrew Zhogin-1/+15
2024-10-16Rollup merge of #131381 - Nadrieril:min-match-ergonomics, r=pnkfelixMatthias Krüger-7/+8
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
2024-10-14Move trait bound modifiers into hir::PolyTraitRefMichael Goulet-1/+2
2024-10-14Rollup merge of #131473 - workingjubilee:move-that-abi-up, r=saethlinMatthias Krüger-1/+1
2024-10-12remove a couple of redundant String to String conversionMatthias Krüger-1/+1
2024-10-11compiler: Wire `{TyAnd,}Layout` into `rustc_abi`Jubilee Young-1/+1
2024-10-11Auto merge of #131045 - compiler-errors:remove-unnamed_fields, r=wesleywiserbors-56/+4