about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2024-02-26Auto merge of #121516 - RalfJung:platform-intrinsics-begone, r=oli-obkbors-2/+1
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-16/+1
2024-02-25remove platform-intrinsics ABI; make SIMD intrinsics be regular intrinsicsRalf Jung-2/+1
2024-02-24Rollup merge of #121556 - GrigorenkoPV:addr_of, r=NilstriebMatthias Krüger-3/+3
2024-02-24Auto merge of #121523 - matthiaskrgr:comp_comp, r=Nilstriebbors-1/+1
2024-02-24compiler: use `addr_of!`Pavel Grigorenko-3/+3
2024-02-23compiler: clippy::complexity fixesMatthias Krüger-1/+1
2024-02-23Rollup merge of #121495 - cuishuang:master, r=clubby789Matthias Krüger-1/+1
2024-02-23Rollup merge of #120742 - Nadrieril:use-min_exh_pats, r=compiler-errorsMatthias Krüger-1/+2
2024-02-23remove repetitive wordscui fliter-1/+1
2024-02-23Auto merge of #121442 - lcnr:region-var-universe-uwu, r=compiler-errorsbors-44/+45
2024-02-23Auto merge of #120730 - estebank:confusable-api, r=oli-obkbors-1/+1
2024-02-22drive-by fmt cleanupEsteban Küber-1/+1
2024-02-22add commentlcnr-1/+8
2024-02-22region unification update universe of region varslcnr-44/+38
2024-02-22Rollup merge of #121441 - lcnr:typesystem-cleanup, r=compiler-errorsMatthias Krüger-2/+3
2024-02-22Rollup merge of #121386 - oli-obk:no_higher_ranked_opaques, r=lcnrMatthias Krüger-4/+5
2024-02-22`report_mismatch` did not actually report anymoreOli Scherer-1/+1
2024-02-22Avoid emitting type mismatches against `{type error}`Oli Scherer-3/+4
2024-02-22`DefId` to `LocalDefId`lcnr-2/+3
2024-02-22Remove dead `expect_error_or_delayed_bug` method.Nicholas Nethercote-5/+0
2024-02-21Rollup merge of #121328 - ffmancera:ff/verbose_long_type, r=compiler-errorsDylan DPC-1/+1
2024-02-21Rollup merge of #121208 - nnethercote:delayed_bug-to-bug, r=lcnrDylan DPC-2/+1
2024-02-21Convert `bug`s back to `delayed_bug`s.Nicholas Nethercote-2/+4
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-6/+3
2024-02-20Rollup merge of #121344 - fmease:lta-constr-by-input, r=oli-obkMatthias Krüger-35/+145
2024-02-20Move the peeling function for weak alias typesLeón Orell Valerian Liehr-0/+33
2024-02-20Expand weak alias types before collecting constrained and referenced late bou...León Orell Valerian Liehr-8/+10
2024-02-20Introduce expand_weak_alias_tysLeón Orell Valerian Liehr-14/+77
2024-02-20Rename some normalization-related itemsLeón Orell Valerian Liehr-14/+26
2024-02-20Rollup merge of #121167 - petrochenkov:unload2, r=wesleywiserNilstrieb-0/+7
2024-02-20Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav...bors-12/+12
2024-02-20Make --verbose imply -Z write-long-types-to-disk=noFernando Fernandez Mancera-1/+1
2024-02-20Rollup merge of #121256 - Jarcho:visitor2, r=oli-obkNilstrieb-40/+33
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-12/+12
2024-02-18resolve: Scale back unloading of speculatively loaded cratesVadim Petrochenkov-0/+7
2024-02-18Allow AST and HIR visitors to return `ControlFlow`Jason Newcomb-40/+33
2024-02-18By tracking import use types to check whether it is scope uses or the other s...surechen-1/+1
2024-02-17Rollup merge of #121059 - compiler-errors:extension, r=davidtwco,NilstriebGuillaume Boisseau-27/+6
2024-02-16Rollup merge of #121179 - RalfJung:zst-mutable-refs, r=oli-obkGuillaume Gomez-4/+5
2024-02-16Move trait into attr so it's greppableMichael Goulet-6/+6
2024-02-16Use extension trait deriveMichael Goulet-27/+6
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-7/+14
2024-02-16allow mutable references in const values when they point to no memoryRalf Jung-4/+5
2024-02-16Auto merge of #120486 - reitermarkus:use-generic-nonzero, r=dtolnaybors-33/+32
2024-02-16Rollup merge of #121146 - compiler-errors:ignore-diverging-arms, r=estebankGuillaume Gomez-2/+1
2024-02-16Rollup merge of #121141 - compiler-errors:closure-kind-docs, r=nnethercoteGuillaume Gomez-11/+26
2024-02-15Fix closure kind docsMichael Goulet-11/+26
2024-02-15Remove a suggestion that is redundantMichael Goulet-1/+0
2024-02-15Only point out non-diverging arms for match suggestionsMichael Goulet-1/+1