summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+3
2024-12-18introduce `LateParamRegionKind`lcnr-1/+1
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-17small refactor to region error handlinglcnr-10/+7
2024-12-17Auto merge of #134302 - bjorn3:remove_driver_queries, r=oli-obk,jieyouxubors-44/+35
2024-12-15Add hir::AttributeJonathan Dönszelmann-5/+8
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-3/+3
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-3/+3
2024-12-14Immediately enter in TyCtxt::create_global_ctxtbjorn3-31/+22
2024-12-14Move GlobalCtxt::finish to TyCtxtbjorn3-13/+13
2024-12-12Move impl constness into impl trait headerOli Scherer-1/+1
2024-12-09interpret: clean up deduplicating allocation functionsRalf Jung-1/+1
2024-12-05do not implement unsafe auto traits for types with unsafe fieldsJack Wrenn-0/+4
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