about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2025-08-23Rollup merge of #145713 - lcnr:const-trait-bootstrap, r=compiler-errorsSamuel Tardieu-2/+5
2025-08-23Auto merge of #145706 - lcnr:uniquification, r=BoxyUwUbors-0/+11
2025-08-23Auto merge of #145773 - jhpratt:rollup-kocqnzv, r=jhprattbors-2/+1
2025-08-22Separate transmute checking from typeck.Camille Gillot-0/+6
2025-08-22change HIR typeck unification handling approachlcnr-0/+11
2025-08-22Refactor lint buffering to avoid requiring a giant enumJosh Triplett-2/+1
2025-08-21next-solver fix const_trait_impl bootstraplcnr-2/+5
2025-08-20Move `IntoDiagArg` earlier in the dependency chainsJosh Triplett-2/+2
2025-08-20Rollup merge of #145623 - compiler-errors:pretty-async-name, r=wesleywiserJacob Pratt-3/+13
2025-08-19Pretty print the name of an future from calling async closureMichael Goulet-3/+13
2025-08-19Rollup merge of #145338 - lcnr:coroutine-witness-yikes, r=compiler-errors许杰友 Jieyou Xu (Joe)-2/+38
2025-08-17Auto merge of #145284 - nnethercote:type_name-print-regions, r=lcnrbors-7/+7
2025-08-15Auto merge of #144591 - RalfJung:pattern-valtrees, r=BoxyUwUbors-9/+19
2025-08-14Print regions in `type_name`.Nicholas Nethercote-7/+7
2025-08-14Rollup merge of #145266 - camsteffen:reduce-queries, r=petrochenkovGuillaume Gomez-5/+34
2025-08-14Apply suggestions from code reviewRalf Jung-1/+1
2025-08-14avoid unnecessary type sanity checksRalf Jung-8/+4
2025-08-14use ty::Value instead of manual pairs of types and valtreesRalf Jung-4/+10
2025-08-14pattern testing: store constants as valtreesRalf Jung-9/+17
2025-08-13Rollup merge of #144949 - nnethercote:more-Printer-cleanups, r=davidtwcoGuillaume Gomez-81/+110
2025-08-13Cleanup assoc parent utilsCameron Steffen-5/+34
2025-08-13`fn new_coroutine_witness_for_coroutine` woopslcnr-0/+33
2025-08-13fix scope of `super let` bindings within `if let`dianne-35/+2
2025-08-13check args in new_coroutine_witnesslcnr-2/+5
2025-08-10Rollup merge of #145147 - fee1-dead-contrib:push-mxxpmlpmzmsz, r=compiler-errorsStuart Cook-5/+5
2025-08-09Auto merge of #145142 - Zalathar:rollup-oi6s8kg, r=Zalatharbors-0/+2
2025-08-09rename `TraitRef::from_method` to `from_assoc`Deadbeef-5/+5
2025-08-09Rollup merge of #145097 - lcnr:type-foldable-yeet, r=wesleywiserStuart Cook-0/+2
2025-08-09Auto merge of #143376 - dianne:guard-scope, r=matthewjasperbors-1/+1
2025-08-08Rollup merge of #144192 - RalfJung:atomicrmw-ptr, r=nikicTrevor Gross-5/+12
2025-08-08Rollup merge of #144039 - estebank:short-paths, r=fee1-deadTrevor Gross-1/+1
2025-08-08remove unnecessary `TypeFoldable` implslcnr-0/+2
2025-08-08Rollup merge of #145009 - jackh726:ra-next-solver-changes, r=compiler-errorsStuart Cook-11/+1
2025-08-07add a scope for `if let` guard temporaries and bindingsdianne-1/+1
2025-08-07Use `tcx.short_string()` in more diagnosticsEsteban Küber-1/+1
2025-08-07Add a missing UpcastFrom impl in rustc_type_irFlorian Diebold-11/+1
2025-08-06Add support for shortening `Instance` and use itEsteban Küber-110/+86
2025-08-06Rename some `PrettyPrinter` methods.Nicholas Nethercote-26/+26
2025-08-06Rename some `Printer` methods.Nicholas Nethercote-30/+37
2025-08-06Move `should_truncate` from trait `Printer` to sub-trait `PrettyPrinter`.Nicholas Nethercote-8/+8
2025-08-06Add comments to `Printer`.Nicholas Nethercote-17/+39
2025-08-05Clarify `value_path_str_with_args`.Nicholas Nethercote-4/+4
2025-08-05Rollup merge of #144817 - WaffleLapkin:reject-referety, r=UrgauSamuel Tardieu-1/+1
2025-08-05Rollup merge of #144776 - nnethercote:Printer-cleanups, r=cjgillotSamuel Tardieu-511/+485
2025-08-04Check for rustc_has_incoherent_inherent_impls in incoherent_impls query.Camille GILLOT-0/+7
2025-08-04drive-by cleanup: fix outdated documentationWaffle Lapkin-1/+1
2025-08-04Avoid some code duplication.Nicholas Nethercote-6/+1
2025-08-03Rollup merge of #144822 - Zalathar:hash-owner-nodes, r=compiler-errorsSamuel Tardieu-1/+1
2025-08-03Remove unused arg from `path_append_impl`.Nicholas Nethercote-8/+1
2025-08-03Remove `p!`.Nicholas Nethercote-362/+370