summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-11-09Make sure that predicates with unmentioned bound vars are still considered gl...Michael Goulet-32/+12
2023-11-09only erase param env regions where neededlcnr-1/+1
2023-11-09dropck_outlives check generator witness needs_droplcnr-4/+6
2023-09-27Auto merge of #116163 - compiler-errors:lazyness, r=oli-obkbors-10/+10
2023-09-26subst -> instantiatelcnr-24/+12
2023-09-26Don't store lazyness in DefKindMichael Goulet-10/+10
2023-09-24Remove span from BrAnon.Camille GILLOT-9/+9
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-79/+26
2023-09-23Enable drop_tracking_mir by default.Camille GILLOT-75/+2
2023-09-23Auto merge of #116052 - oli-obk:ceci_nest_pas_une_query, r=WaffleLapkinbors-0/+6
2023-09-22Auto merge of #115696 - RalfJung:closure-ty-print, r=oli-obkbors-8/+8
2023-09-22Rollup merge of #116041 - compiler-errors:rigid-note, r=RalfJungMatthias Krüger-0/+5
2023-09-22Add a way to decouple the implementation and the declaration of a TyCtxt method.Oli Scherer-0/+6
2023-09-22Add note to is_known_rigidMichael Goulet-0/+5
2023-09-21Auto merge of #115864 - compiler-errors:rpitit-sugg, r=estebankbors-0/+14
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-8/+8
2023-09-21Record asyncness span in HIRMichael Goulet-0/+14
2023-09-21Auto merge of #114399 - Zalathar:no-renumber, r=jackh726bors-1/+0
2023-09-21Rollup merge of #115972 - RalfJung:const-consistency, r=oli-obkGuillaume Gomez-11/+6
2023-09-21coverage: Don't bother renumbering expressions on the Rust sideZalathar-1/+0
2023-09-20Auto merge of #115870 - RalfJung:const-value-slice, r=oli-obkbors-0/+1
2023-09-20Rollup merge of #115566 - zirconium-n:issue-107250-clean-up-unused-to-predica...Guillaume Gomez-40/+6
2023-09-20the Const::eval_bits methods don't need to be given the TyRalf Jung-11/+6
2023-09-19Auto merge of #113955 - cjgillot:name-apit, r=WaffleLapkinbors-4/+0
2023-09-20remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat...Ziru Niu-8/+6
2023-09-20remove unneeded `ToPredicate` implsZiru Niu-32/+0
2023-09-19Rollup merge of #115499 - msizanoen1:riscv-fix-transparent-union-abi, r=bjorn3Guillaume Gomez-0/+4
2023-09-19adjust constValue::Slice to work for arbitrary slice typesRalf Jung-0/+1
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