about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
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
2024-10-10Add variances to RPITITsMichael Goulet-0/+4
2024-10-10Introduce SolverRelatingMichael Goulet-0/+6
2024-10-08compiler: Factor rustc_target::abi::* out of middle::ty::layoutJubilee Young-7/+17
2024-10-08Error on resetted binding mode in edition 2024Nadrieril-7/+8
2024-10-07Auto merge of #131235 - codemountains:rename-nestedmetaitem-to-metaitemlnner,...bors-3/+2
2024-10-07Simplify two matches.Nicholas Nethercote-9/+1
2024-10-06Rename NestedMetaItem to MetaItemInnercodemountains-3/+2
2024-10-05Auto merge of #129244 - cjgillot:opaque-hir, r=compiler-errorsbors-20/+14
2024-10-04Rollup merge of #130633 - eholk:pin-reborrow-self, r=compiler-errorsJubilee-0/+10
2024-10-04Simplify bound var resolution.Camille GILLOT-7/+4
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-13/+10
2024-10-04Elaborate supertrait span correctly to label the error betterMichael Goulet-0/+4
2024-10-04Rollup merge of #131202 - Urgau:wide-ptrs-compiler, r=jieyouxuGuillaume Gomez-12/+12
2024-10-04Use wide pointers consistenly across the compilerUrgau-12/+12
2024-10-03Auto merge of #131215 - matthiaskrgr:rollup-i021ef7, r=matthiaskrgrbors-1/+1
2024-10-03Rollup merge of #131183 - compiler-errors:opaque-ty-origin, r=estebankMatthias Krüger-1/+1
2024-10-03Handle `rustc_metadata` cases of `rustc::potential_query_instability` lintismailarilik-2/+2
2024-10-02Remove redundant in_trait from hir::TyKind::OpaqueDefMichael Goulet-1/+1
2024-10-02Auto merge of #130821 - lcnr:nalgebra-hang-2, r=compiler-errorsbors-3/+25
2024-10-02Rollup merge of #131152 - fee1-dead-contrib:fxdiag, r=compiler-errorsMatthias Krüger-12/+34
2024-10-02Rollup merge of #131140 - ismailarilik:handle-potential-query-instability-lin...Matthias Krüger-6/+6
2024-10-02reviewlcnr-8/+9
2024-10-02Improve const traits diagnostics for new desugaringDeadbeef-12/+34
2024-10-02Handle `rustc-hir-analysis` cases of `rustc::potential_query_instability` lintismailarilik-6/+6
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-1/+1
2024-10-01Remove unnamed field featureMichael Goulet-56/+4
2024-10-01add caches to multiple type folderslcnr-2/+23
2024-09-30Validate ExistentialPredicate argsMichael Goulet-0/+20