summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2025-02-10try to suggest eliding redundant binding modifiersdianne-1/+3
2025-02-10experimentally label the spans for default binding modesdianne-4/+2
2025-02-10highlight the whole problem subpattern when pointing out the default binding ...dianne-2/+4
2025-02-10reword pattern migration diagnostic to make sense in all editionsdianne-6/+18
2024-12-31Convert some Into impls into From implsMichael Goulet-3/+3
2024-12-25Actually print all the relevant parts of a coroutine in verbose modeMichael Goulet-0/+6
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-4/+50
2024-12-20split up `#[rustc_deny_explicit_impl]` attributeLukas Markeffsky-2/+2
2024-12-19Auto merge of #134499 - jieyouxu:rollup-zmaveur, r=jieyouxubors-9/+12
2024-12-19Rollup merge of #134491 - compiler-errors:dtor-tweaks, r=lqd许杰友 Jieyou Xu (Joe)-3/+3
2024-12-19Rollup merge of #133702 - RalfJung:single-variant, r=oli-obk许杰友 Jieyou Xu (Joe)-6/+9
2024-12-19Auto merge of #133961 - lcnr:borrowck-cleanup, r=jackh726bors-14/+102
2024-12-18Rollup merge of #133643 - lcnr:merge-candidates, r=compiler-errorsJacob Pratt-1/+1
2024-12-19Rename Scope.id to Scope.local_id, remove trivial accessorMichael Goulet-3/+3
2024-12-18update new solver candidate assemblylcnr-1/+1
2024-12-18introduce `LateParamRegionKind`lcnr-14/+102
2024-12-18Rollup merge of #134394 - dianne:clarify-pat-2024-migration, r=compiler-errors许杰友 Jieyou Xu (Joe)-5/+8
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-12/+12
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-5/+8
2024-12-18Auto merge of #134243 - nnethercote:re-export-more-rustc_span, r=jieyouxubors-22/+14
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-22/+14
2024-12-17Clarify the match ergonomics 2024 migration lint's outputdianne-5/+8
2024-12-17Rollup merge of #133265 - the8472:extract-if-ranges, r=cuviperMatthias Krüger-1/+1
2024-12-17Auto merge of #134381 - jdonszelmann:move-attribute-types, r=oli-obkbors-6/+6
2024-12-17small refactor to region error handlinglcnr-10/+7
2024-12-17Auto merge of #134302 - bjorn3:remove_driver_queries, r=oli-obk,jieyouxubors-44/+35
2024-12-16update uses of extract_if in the compilerThe 8472-1/+1
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-6/+6
2024-12-15Add hir::AttributeJonathan Dönszelmann-18/+22
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-6/+6
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-6/+6
2024-12-14Immediately enter in TyCtxt::create_global_ctxtbjorn3-31/+22
2024-12-14Move GlobalCtxt::finish to TyCtxtbjorn3-13/+13
2024-12-14(Re-)Implement impl_trait_in_bindingsMichael Goulet-5/+18
2024-12-14Split UserTypeAnnotation to have a kindMichael Goulet-5/+27
2024-12-13Auto merge of #134122 - oli-obk:push-zqnyznxtpnll, r=petrochenkovbors-9/+18
2024-12-12Move impl constness into impl trait headerOli Scherer-7/+6
2024-12-12Rollup merge of #133122 - compiler-errors:afidt, r=oli-obkMatthias Krüger-17/+116
2024-12-11Require the `constness` query to only be invoked on things that can have cons...Oli Scherer-2/+12
2024-12-11Rename projection_def_id to item_def_idMichael Goulet-1/+1
2024-12-10Implement projection and shim for AFIDTMichael Goulet-17/+116
2024-12-10Rollup merge of #134008 - jswrenn:unsafe-fields-copy, r=compiler-errorsLeón Orell Valerian Liehr-5/+10
2024-12-10Auto merge of #134096 - fmease:rollup-0asgoo8, r=fmeasebors-1/+1
2024-12-09review comments: rewordingsEsteban Küber-2/+2
2024-12-09Introduce `default_field_values` featureEsteban Küber-5/+6
2024-12-09interpret: clean up deduplicating allocation functionsRalf Jung-1/+1
2024-12-07Tweak wordingEsteban Küber-5/+5
2024-12-07Do not talk about "trait `<Foo = Bar>`"Esteban Küber-2/+4
2024-12-07Account for `impl Trait` in "add bound" suggestion messageEsteban Küber-0/+6
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-16/+9