about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform
AgeCommit message (Expand)AuthorLines
2024-05-24compiler: unnest rustc_const_eval::check_constsJubilee Young-2695/+0
2024-05-24compiler: const_eval/transform/validate.rs -> mir_transform/validate.rsJubilee Young-1407/+0
2024-05-24Auto merge of #125479 - scottmcm:validate-vtable-projections, r=Nilstriebbors-0/+9
2024-05-23Validate the special layout restriction on DynMetadataScott McMurray-0/+9
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+5
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-30/+4
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-0/+5
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-2/+2
2024-05-10Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnrbors-1/+1
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-1/+1
2024-05-10Auto merge of #124952 - compiler-errors:no-error, r=lcnrbors-1/+1
2024-05-10Name tweaksMichael Goulet-1/+1
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-1/+1
2024-05-09Make builtin_deref just return a TyMichael Goulet-2/+2
2024-04-23Rollup merge of #122598 - Nadrieril:full-derefpats, r=matthewjasperLeón Orell Valerian Liehr-4/+4
2024-04-21Add an intrinsic that lowers to AggregateKind::RawPtrScott McMurray-1/+4
2024-04-21Add `AggregateKind::RawPtr` and enough support to compileScott McMurray-0/+38
2024-04-20Add a non-shallow fake borrowNadrieril-4/+4
2024-04-17Rollup merge of #122813 - nnethercote:nicer-quals, r=compiler-errorsMatthias Krüger-6/+7
2024-04-16Taint const qualifs if a static is referenced that didn't pass wfcheckOli Scherer-0/+5
2024-04-16Rename a tiny module.Nicholas Nethercote-5/+5
2024-04-16Always use `ty::` qualifier for `TyKind` enum variants.Nicholas Nethercote-4/+5
2024-04-03rename `expose_addr` to `expose_provenance`joboet-2/+2
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-2/+2
2024-04-02Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwcobors-0/+9
2024-03-24Relax validation nowMichael Goulet-5/+4
2024-03-24Require coroutine kind type to be passed to TyCtxt::coroutine_layoutMichael Goulet-6/+7
2024-03-24Rollup merge of #122937 - Zalathar:unbox, r=oli-obkMatthias Krüger-2/+1
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-0/+9
2024-03-24Rollup merge of #122168 - compiler-errors:inline-coroutine-body-validation, r...Matthias Krüger-4/+15
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-2/+2
2024-03-23rename MIR int2ptr casts to match library nameRalf Jung-2/+2
2024-03-23Unbox and unwrap the contents of `StatementKind::Coverage`Zalathar-2/+1
2024-03-22Fix validation on substituted callee bodies in MIR inlinerMichael Goulet-4/+15
2024-03-22coverage: Clean up marker statements that aren't needed laterZalathar-1/+12
2024-03-18Rollup merge of #122158 - estebank:feature-sugg, r=WaffleLapkinMatthias Krüger-5/+7
2024-03-18Provide structured suggestion for `#![feature(foo)]`Esteban Küber-5/+7
2024-03-18add_retag: ensure box-to-raw-ptr casts are preserved for MiriRalf Jung-2/+2
2024-03-11Rollup merge of #121893 - RalfJung:const-interior-mut-tests, r=oli-obkJubilee-1/+2
2024-03-11const-checking: add some corner case tests, and fix some nitsRalf Jung-1/+1
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-2/+2
2024-03-08Rollup merge of #122173 - compiler-errors:ptr-equality-in-ctfe, r=lcnrMatthias Krüger-1/+0
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-3/+3
2024-03-08Don't ICE in CTFE if raw/fn-ptr types differMichael Goulet-1/+0
2024-03-06Rollup merge of #121382 - nnethercote:rework-untranslatable_diagnostic-lint, ...Matthias Krüger-0/+4
2024-03-06Rewrite the `untranslatable_diagnostic` lint.Nicholas Nethercote-0/+4
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-3/+3
2024-03-02add comment and test: we do not do value-based reasoning for promotion of unionsRalf Jung-0/+1
2024-02-28Rename `DiagnosticImportance` as `DiagImportance`.Nicholas Nethercote-16/+14
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-24/+24