about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-10-08improve the suggestion of generic_bound_failureAli MJ Al-Nasrawy-10/+15
2023-10-06Auto merge of #116269 - Veykril:rustc-abi, r=WaffleLapkinbors-2/+2
2023-10-05Auto merge of #116417 - ouz-a:trait_type_detective, r=compiler-errorsbors-23/+2
2023-10-05remove is global hackOğuz Ağcayazı-23/+2
2023-10-04Auto merge of #116370 - nnethercote:more-arena-stuff, r=cjgillotbors-6/+8
2023-10-04Make it clear that args default to being related invariantlyMichael Goulet-10/+10
2023-10-04Remove unnecessary relate implMichael Goulet-13/+0
2023-10-04Relate AliasTy considering varianceMichael Goulet-19/+15
2023-10-03Rollup merge of #116261 - lcnr:wf-only-clause, r=davidtwcoMatthias Krüger-9/+18
2023-10-03Optimize some `alloc_from_iter` call sites.Nicholas Nethercote-6/+8
2023-10-02Rename both of the Match relationsMichael Goulet-6/+6
2023-10-02Implement Deref<LayoutS> for LayoutLukas Wirth-2/+2
2023-10-02`skip_binder` to `instantiate_identity`lcnr-2/+7
2023-09-29a small wf and clause cleanuplcnr-9/+18
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