about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-09-19Rollup merge of #115499 - msizanoen1:riscv-fix-transparent-union-abi, r=bjorn3Guillaume Gomez-0/+4
2023-09-19Auto merge of #115865 - RalfJung:mir-mod, r=oli-obkbors-0/+15
2023-09-19rustc_target/riscv: Fix passing of transparent unions with only one non-ZST m...msizanoen-0/+4
2023-09-19use pretty_print_const_value from MIR constant 'extra' printingRalf Jung-1/+1
2023-09-19move some MIR const pretty-printing into pretty.rsRalf Jung-0/+15
2023-09-19Don't resolve generic instances if they may be shadowed by dynMichael Goulet-0/+27
2023-09-19Rollup merge of #115873 - BoxyUwU:tykind_adt_debug, r=oli-obkMatthias Krüger-0/+1
2023-09-18Auto merge of #115748 - RalfJung:post-mono, r=oli-obkbors-5/+5
2023-09-18make more prettyBoxy-0/+1
2023-09-18Rollup merge of #115907 - RalfJung:interner-check, r=compiler-errorsMatthias Krüger-0/+24
2023-09-18Remove more unused `Lift` impls.Nicholas Nethercote-105/+28
2023-09-18Remove unused `Lift` derives.Nicholas Nethercote-15/+18
2023-09-18Rename `CloneLiftImpls` as `TrivialLiftImpls`.Nicholas Nethercote-2/+2
2023-09-18Remove unused `Display` impls.Nicholas Nethercote-6/+0
2023-09-18Remove `RegionHighlightMode::tcx`.Nicholas Nethercote-14/+9
2023-09-17nop_lift macros: ensure that we are using the right internerRalf Jung-0/+24
2023-09-17Auto merge of #114452 - weiznich:feature/diagnostic_on_unimplemented, r=compi...bors-0/+16
2023-09-16Rollup merge of #115884 - RalfJung:const-debug-print, r=oli-obkMatthias Krüger-6/+20
2023-09-16make ty::Const debug printing less verboseRalf Jung-6/+20
2023-09-15Fix incorrect codeblock attributes in docsGuillaume Gomez-2/+2
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-5/+5
2023-09-14Auto merge of #115848 - matthiaskrgr:rollup-lsul9dz, r=matthiaskrgrbors-15/+45
2023-09-14Rollup merge of #115834 - compiler-errors:binder-vars, r=jackh726Matthias Krüger-15/+45
2023-09-14Auto merge of #115804 - RalfJung:valtree-to-const-val, r=oli-obkbors-5/+0
2023-09-14Auto merge of #115817 - fee1-dead-contrib:fix-codegen, r=oli-obkbors-8/+16
2023-09-14treat host effect params as erased generics in codegenDeadbeef-8/+16
2023-09-14found another place where we can eval() a const, and go through valtreesRalf Jung-5/+0
2023-09-14make it more clear which functions create fresh AllocIdRalf Jung-4/+4
2023-09-14use AllocId instead of Allocation in ConstValue::ByRefRalf Jung-0/+1
2023-09-14Properly consider binder vars in HasTypeFlagsVisitorMichael Goulet-15/+45
2023-09-13Auto merge of #115803 - RalfJung:const-eval, r=oli-obkbors-169/+115
2023-09-13restore the old logic adjusting ty::UnevaluatedConst before evaluationRalf Jung-25/+36
2023-09-13Auto merge of #115810 - nnethercote:folding-comments, r=WaffleLapkinbors-8/+8
2023-09-13Comments to clarify the working of `HasTypeFlagsVisitor`.Nicholas Nethercote-8/+8
2023-09-13make the set of methods between our two Const types more consistentRalf Jung-97/+85
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-120/+67
2023-09-12`#[diagnostic::on_unimplemented]` without filtersGeorg Semmler-0/+16
2023-09-12Auto merge of #115699 - RalfJung:interpret-abi-compat, r=oli-obkbors-1/+3
2023-09-11Rollup merge of #115743 - compiler-errors:no-impls, r=davidtwcoMatthias Krüger-0/+4
2023-09-11Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obkMatthias Krüger-8/+39
2023-09-11add `is_host_effect` to `GenericParamDefKind::Const` and address reviewDeadbeef-3/+3
2023-09-11Disentangle `Debug` and `Display` for `Ty`.Nicholas Nethercote-3/+22
2023-09-10Point out if a local trait has no implementationsMichael Goulet-0/+4
2023-09-10Implement fallback for effect paramDeadbeef-5/+36
2023-09-09Use `FreezeLock` for `CStore`John Kåre Alsaker-5/+3
2023-09-09fix ptr_metadata_ty for DynStar typeRalf Jung-1/+3
2023-09-08Auto merge of #115612 - cjgillot:const-prop-int, r=oli-obkbors-0/+5
2023-09-08Rollup merge of #115629 - compiler-errors:sugg-deref-unsize, r=oli-obkMatthias Krüger-11/+8
2023-09-08Rollup merge of #115624 - compiler-errors:rtn-path, r=WaffleLapkinMatthias Krüger-0/+11
2023-09-07Ensure that dyn trait bounds stay sortedMichael Goulet-11/+8