about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
2024-11-28Auto merge of #123244 - Mark-Simulacrum:share-inline-never-generics, r=saethlinbors-2/+0
2024-11-28Share inline(never) generics across cratesMark Rousskov-2/+0
2024-11-27Rollup merge of #132410 - bjorn3:yet_another_driver_refactor_round, r=cjgillotMatthias Krüger-2/+11
2024-11-26Remove -Zfuel.Camille GILLOT-4/+0
2024-11-23global old solver cache: use `TypingEnv`lcnr-2/+2
2024-11-22Check drop is trivial before checking ty needs dropMichael Goulet-1/+4
2024-11-22Implement ~const Destruct in new solverMichael Goulet-0/+5
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-09Move some code from Compiler::enter to GlobalCtxt::finishbjorn3-2/+11
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