about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
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
2023-09-07Print the path of an RPITIT in RTNMichael Goulet-0/+11
2023-09-07Implement refinement lint for RPITITMichael Goulet-1/+1
2023-09-06Rollup merge of #115578 - ouz-a:rustc_clarify, r=oli-obkMatthias Krüger-1/+1
2023-09-06Support a few more rvalues.Camille GILLOT-0/+5
2023-09-06make comments less crypticouz-a-1/+1
2023-09-02Add `Freeze` type and use it to store `Definitions`John Kåre Alsaker-10/+10
2023-09-01Auto merge of #113126 - Bryanskiy:delete_old, r=petrochenkovbors-2/+0
2023-08-30Don't record spans for predicates in coherenceMichael Goulet-1/+1
2023-08-30Pretty-print impl trait to name it.Camille GILLOT-4/+0
2023-08-29Rollup merge of #111580 - atsuzaki:layout-ice, r=oli-obkMatthias Krüger-1/+9
2023-08-29Auto merge of #114894 - Zoxc:sharded-cfg-cleanup2, r=cjgillotbors-19/+20
2023-08-28Don't ICE on layout computation failureKatherine Philip-1/+9