about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
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
2023-08-25Auto merge of #114201 - Centri3:explicit-repr-rust, r=WaffleLapkinbors-0/+1
2023-08-24Optimize `lock_shards`John Kåre Alsaker-19/+20
2023-08-19instead of collecting newly formatted Strings into one String, only create a ...Matthias Krüger-4/+5
2023-08-17Revert "Implement references VarDebugInfo."Camille GILLOT-1/+0
2023-08-16Don't ICE in is_trivially_sized when encountering late-bound self tyMichael Goulet-2/+2
2023-08-15Rollup merge of #114772 - fee1-dead-contrib:typed-did, r=b-naberGuillaume Gomez-6/+9
2023-08-15more span infoMichael Goulet-1/+1
2023-08-14Use `{Local}ModDefId` in many queriesNilstrieb-6/+9
2023-08-10Rollup merge of #114622 - petrochenkov:noplugin, r=oli-obkMichael Goulet-7/+54
2023-08-09Rollup merge of #111891 - rustbox:feat/riscv-isr-cconv, r=jackh726Matthias Krüger-0/+2
2023-08-09rustc: Move `stable_crate_id` from `Session` to `GlobalCtxt`Vadim Petrochenkov-4/+12
2023-08-09rustc: Move `crate_types` from `Session` to `GlobalCtxt`Vadim Petrochenkov-3/+42
2023-08-09Rollup merge of #114548 - fee1-dead-contrib:migrate-to-trans, r=davidtwcoMatthias Krüger-7/+18
2023-08-08feat: `riscv-interrupt-{m,s}` calling conventionsSeth Pellegrino-0/+2
2023-08-08Auto merge of #114545 - fee1-dead-contrib:lower-impl-effect, r=oli-obkbors-2/+7
2023-08-08Auto merge of #114602 - compiler-errors:rpit-outlives-sadness, r=oli-obkbors-0/+78
2023-08-08Simplify via map_rpit_lifetime_to_fn_lifetimeMichael Goulet-1/+10