about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2024-02-08Add a new debug_assertions instrinsic (compiler)Ben Kimock-0/+4
2024-02-08Auto merge of #120544 - BoxyUwU:enter_forall, r=lcnrbors-0/+1
2024-02-08introduce `enter_forall`Boxy-0/+1
2024-02-08Step all bootstrap cfgs forwardMark Rousskov-1/+1
2024-02-08Rollup merge of #120739 - lukas-code:pp-dyn-assoc, r=compiler-errorsMatthias Krüger-33/+81
2024-02-08Rollup merge of #120206 - petrochenkov:somehir, r=compiler-errorsMatthias Krüger-79/+61
2024-02-08Auto merge of #120381 - fee1-dead-contrib:reconstify-add, r=compiler-errorsbors-0/+4
2024-02-07Do not create param types that differ only by name when comparing intrinsic s...Michael Goulet-1/+1
2024-02-07Assert that ParamTy and ParamConst have identical names for identical indicesMichael Goulet-2/+8
2024-02-07address review comments and add more testsLukas Markeffsky-10/+15
2024-02-07Rollup merge of #120746 - compiler-errors:kind-ty, r=oli-obkGuillaume Boisseau-1/+8
2024-02-07Rollup merge of #120733 - klensy:trait-const-fn, r=oli-obkGuillaume Boisseau-2/+23
2024-02-07Record coroutine kind in genericsMichael Goulet-1/+8
2024-02-07improve pretty printing for trait objectsLukas Markeffsky-32/+75
2024-02-07MirPass: make name more constklensy-2/+23
2024-02-07hir: Add some FIXMEs for future workVadim Petrochenkov-0/+3
2024-02-07hir: Remove `fn opt_hir_id` and `fn opt_span`Vadim Petrochenkov-79/+54
2024-02-07hir: Make sure all `HirId`s have corresponding HIR `Node`sVadim Petrochenkov-4/+8
2024-02-06Rollup merge of #120707 - compiler-errors:suitable-region, r=nnethercoteMatthias Krüger-1/+1
2024-02-06Rollup merge of #120502 - clubby789:remove-ffi-returns-twice, r=compiler-errorsMatthias Krüger-13/+10
2024-02-06Rollup merge of #120423 - RalfJung:indirect-structural-match, r=petrochenkovMatthias Krüger-2/+1
2024-02-06Rollup merge of #120670 - lcnr:effect-var-storage, r=fee1-deadMatthias Krüger-19/+23
2024-02-06Don't expect early-bound region to be local in RPITIT well-formednessMichael Goulet-1/+1
2024-02-06Fix drop shim for AsyncFnOnce closure, AsyncFnMut shim for AsyncFn closureMichael Goulet-19/+52
2024-02-06More comments, final tweaksMichael Goulet-9/+48
2024-02-06Bless tests, add commentsMichael Goulet-8/+53
2024-02-06Construct body for by-move coroutine closure outputMichael Goulet-13/+63
2024-02-06Build a shim to call async closures with different AsyncFn trait kindsMichael Goulet-1/+25
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-6/+156
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-9/+232
2024-02-06Invert diagnostic lints.Nicholas Nethercote-1/+3
2024-02-05get rid of nontrivial_structural_match lint and custom_eq const qualifRalf Jung-2/+1
2024-02-05old solver: improve normalization of `Pointee::Metadata`Lukas Markeffsky-16/+32
2024-02-05Rollup merge of #116284 - RalfJung:no-nan-match, r=cjgillotMatthias Krüger-29/+46
2024-02-05cleanup effect var handlinglcnr-19/+23
2024-02-05Rollup merge of #119600 - aDotInTheVoid:comment-fix, r=compiler-errorsMatthias Krüger-3/+3
2024-02-05Auto merge of #120497 - compiler-errors:modulize, r=lcnrbors-1456/+1491
2024-02-04make effect infer variables suggestable in diagnosticsDeadbeef-0/+4
2024-02-03Rollup merge of #120610 - petrochenkov:maybeownogen, r=cjgillotMatthias Krüger-7/+6
2024-02-03hir: Remove the generic type parameter from `MaybeOwned`Vadim Petrochenkov-7/+6
2024-02-02Remove dead args from functionsMichael Goulet-2/+1
2024-02-03Use `DiagnosticArgName` in a few more places.Nicholas Nethercote-8/+11
2024-01-31Rollup merge of #120495 - clubby789:remove-amdgpu-kernel, r=oli-obkNadrieril-1/+0
2024-01-31Auto merge of #120346 - petrochenkov:ownodes, r=oli-obkbors-55/+55
2024-01-30Remove `ffi_returns_twice` featureclubby789-13/+10
2024-01-30Move predicate, region, and const stuff into their own modules in middleMichael Goulet-1456/+1491
2024-01-30Rollup merge of #120293 - estebank:issue-102629, r=nnethercoteGuillaume Gomez-0/+2
2024-01-30Remove the `abi_amdgpu_kernel` featureclubby789-1/+0
2024-01-30hir: Remove `hir::Map::{owner,expect_owner}`Vadim Petrochenkov-10/+2
2024-01-30hir: Add non-optional `hir_owner_nodes` for real `OwnerId`sVadim Petrochenkov-40/+53