about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-02-12check uniqueness of nested fieldsFrank King-1/+6
2024-02-12Lower anonymous structs or unions to HIRFrank King-5/+41
2024-02-11Auto merge of #120619 - compiler-errors:param, r=lcnrbors-2/+8
2024-02-11is_closure_likeMichael Goulet-14/+13
2024-02-11Rollup merge of #120896 - compiler-errors:coro-closure-kind, r=oli-obkMatthias Krüger-1/+18
2024-02-11Rollup merge of #120874 - gurry:120838-extra-where-in-suggestion, r=fmeaseMatthias Krüger-1/+7
2024-02-10Print kind of coroutine closureMichael Goulet-1/+18
2024-02-10Take empty `where` into account when suggesting predicatesGurinder Singh-1/+7
2024-02-09Rollup merge of #120354 - lukas-code:metadata-normalize, r=lcnrMatthias Krüger-16/+32
2024-02-08Rollup merge of #120801 - oli-obk:drop_recursion_ice, r=NilstriebMatthias Krüger-0/+1
2024-02-08Rollup merge of #120590 - compiler-errors:dead, r=NilstriebMatthias Krüger-1/+1
2024-02-08Avoid ICE in drop recursion check in case of invalid drop implsOli Scherer-0/+1
2024-02-08Auto merge of #120544 - BoxyUwU:enter_forall, r=lcnrbors-0/+1
2024-02-08introduce `enter_forall`Boxy-0/+1
2024-02-08Rollup merge of #120739 - lukas-code:pp-dyn-assoc, r=compiler-errorsMatthias Krüger-13/+47
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-07Record coroutine kind in genericsMichael Goulet-1/+8
2024-02-07improve pretty printing for trait objectsLukas Markeffsky-12/+41
2024-02-06Rollup merge of #120707 - compiler-errors:suitable-region, r=nnethercoteMatthias Krüger-1/+1
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-16/+33
2024-02-06More comments, final tweaksMichael Goulet-9/+48
2024-02-06Bless tests, add commentsMichael Goulet-4/+39
2024-02-06Construct body for by-move coroutine closure outputMichael Goulet-13/+56
2024-02-06Build a shim to call async closures with different AsyncFn trait kindsMichael Goulet-1/+23
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-5/+130
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-8/+220
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-27/+44
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-02Remove dead args from functionsMichael Goulet-1/+1
2024-01-31Rollup merge of #120495 - clubby789:remove-amdgpu-kernel, r=oli-obkNadrieril-1/+0
2024-01-30Move predicate, region, and const stuff into their own modules in middleMichael Goulet-1456/+1491
2024-01-30Remove the `abi_amdgpu_kernel` featureclubby789-1/+0
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-13/+13
2024-01-26make matching on NaN a hard errorRalf Jung-27/+44
2024-01-26Auto merge of #116167 - RalfJung:structural-eq, r=lcnrbors-5/+4
2024-01-25Auto merge of #120335 - matthiaskrgr:rollup-2a0y3rd, r=matthiaskrgrbors-1/+1
2024-01-25Rollup merge of #119895 - oli-obk:track_errors_3, r=matthewjasperMatthias Krüger-1/+1
2024-01-25Auto merge of #119955 - kamalesh0406:master, r=WaffleLapkinbors-18/+56
2024-01-24remove StructuralEq traitRalf Jung-5/+4
2024-01-23Auto merge of #120283 - fmease:rollup-rk0f6r5, r=fmeasebors-10/+8
2024-01-23Rollup merge of #120139 - compiler-errors:fnonce-shim, r=BoxyUwULeón Orell Valerian Liehr-10/+8
2024-01-23Rollup merge of #120270 - compiler-errors:randos, r=lcnrLeón Orell Valerian Liehr-50/+33
2024-01-23Remove track_errors entirelyOli Scherer-1/+1
2024-01-23Random type checker changesMichael Goulet-50/+33