summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-2/+2
2024-11-20Rip out built-in PointerLike implMichael Goulet-14/+0
2024-11-20Rollup merge of #133216 - compiler-errors:const-fn, r=lcnrJacob Pratt-1/+5
2024-11-19Implement ~const Fn trait goals in the new solverMichael Goulet-1/+5
2024-11-19Rename implied_const_bounds to explicit_implied_const_boundsMichael Goulet-2/+2
2024-11-19Introduce `min_generic_const_args` and directly represent pathsNoah Lev-2/+4
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-2/+10
2024-11-12Auto merge of #132282 - Noratrieb:it-is-the-end-of-serial, r=cjgillotbors-7/+3
2024-11-12Delete the `cfg(not(parallel))` serial compilerNoratrieb-7/+3
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-3/+6
2024-11-03Rollup merge of #132574 - workingjubilee:abi-in-compiler, r=compiler-errorsJubilee-8/+7
2024-11-03compiler: Directly use rustc_abi in metadata and middleJubilee Young-8/+7
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+0
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/+3
2024-10-30Rollup merge of #132344 - compiler-errors:same-thing, r=lcnrJubilee-3/+3
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-3/+3
2024-10-30Remap impl-trait lifetimes on HIR instead of AST lowering.Camille GILLOT-6/+6
2024-10-29TypingMode :thinking:lcnr-12/+6
2024-10-27compiler: Rename LayoutS to LayoutDataJubilee Young-3/+3
2024-10-25tcx.is_const_fn doesn't work the way it is described, remove itRalf Jung-28/+13
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-1/+2
2024-10-24Implement const effect predicate in new solverMichael Goulet-5/+27
2024-10-24Remove associated type based effects logicMichael Goulet-7/+0
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-3/+3
2024-10-22Auto merge of #132035 - matthiaskrgr:rollup-ty1e4q0, r=matthiaskrgrbors-0/+20
2024-10-22Rollup merge of #131049 - compiler-errors:more-validation, r=spastorinoMatthias Krüger-0/+20
2024-10-22terminology: #[feature] *enables* a feature (instead of "declaring" or "activ...Ralf Jung-1/+1
2024-10-15stabilize `-Znext-solver=coherence`lcnr-2/+2
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-9/+1
2024-10-10Add variances to RPITITsMichael Goulet-0/+4
2024-10-10Introduce SolverRelatingMichael Goulet-0/+6
2024-10-06Rename NestedMetaItem to MetaItemInnercodemountains-3/+2
2024-10-04Simplify bound var resolution.Camille GILLOT-7/+4
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-5/+6
2024-10-01Remove unnamed field featureMichael Goulet-9/+1
2024-09-30Validate ExistentialPredicate argsMichael Goulet-0/+20
2024-09-30Auto merge of #129499 - fee1-dead-contrib:supereffects, r=compiler-errorsbors-0/+2
2024-09-27properly elaborate effects implied bounds for super traitsDeadbeef-0/+2
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-19/+16
2024-09-14Rollup merge of #130199 - compiler-errors:by-move, r=cjgillotStuart Cook-1/+1
2024-09-12Auto merge of #130269 - Zalathar:rollup-coxzt2t, r=Zalatharbors-26/+24
2024-09-12Rollup merge of #130235 - compiler-errors:nested-if, r=michaelwoeristerStuart Cook-26/+24
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-1/+1
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-2/+2
2024-09-11Simplify some nested if statementsMichael Goulet-26/+24