summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2024-04-23Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obkbors-0/+128
2024-04-19Stop taking ParamTy/ParamConst/EarlyParamRegion/AliasTy by refMichael Goulet-1/+1
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-17Use non-exhaustive matches for TyKindDaria Sukhonina-31/+12
2024-04-16Add simple async drop glue generationzetanumbers-0/+147
2024-04-12Don't do coroutine-closure-specific upvar analysis if tainted by errorsMichael Goulet-1/+1
2024-04-08Don't rely on upvars being assigned just because coroutine-closure kind is as...Michael Goulet-1/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+12
2024-04-04Auto merge of #123440 - jhpratt:rollup-yat6crk, r=jhprattbors-1/+1
2024-04-03Rollup merge of #123401 - Zalathar:assert-size-aarch64, r=fmeaseJacob Pratt-1/+1
2024-04-04Auto merge of #123240 - compiler-errors:assert-args-compat, r=fmeasebors-22/+4
2024-04-03Rollup merge of #123419 - petrochenkov:zeroindex, r=compiler-errorsMatthias Krüger-1/+1
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-1/+1
2024-04-03Simplify some cfgingMichael Goulet-12/+4
2024-04-03Uplift and start using check_args_compatible more liberallyMichael Goulet-22/+12
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-04-02Assert FnDef only constructed with functions (or fn-like ctors)Michael Goulet-1/+5
2024-03-29Assert that ADTs have the right number of substsMichael Goulet-0/+7
2024-03-27Remove `Ord` from `BoundTy`Oli Scherer-3/+3
2024-03-27Remove `Ord` from `Binder`Oli Scherer-1/+1
2024-03-27Remove `Ord` from `Ty`, `Const`, and `Region`Oli Scherer-3/+3
2024-03-24Relax validation nowMichael Goulet-2/+0
2024-03-24Require coroutine kind type to be passed to TyCtxt::coroutine_layoutMichael Goulet-2/+5
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-6/+2
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-6/+6
2024-03-22Ty::new_ref and Ty::new_ptr stop using TypeAndMutMichael Goulet-8/+13
2024-03-19Add a few more commentsMichael Goulet-0/+4
2024-03-19Only split by-ref/by-move futures for async closuresMichael Goulet-1/+16
2024-03-14remove unnecessary sized checksLukas Markeffsky-4/+7
2024-03-14clean up ADT sized constraint computationLukas Markeffsky-1/+1
2024-03-12Fix WF for AsyncFnKindHelper in new trait solverMichael Goulet-2/+3
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-8/+8
2024-03-09miri: do not apply aliasing restrictions to Box with custom allocatorRalf Jung-5/+2
2024-03-06Rollup merge of #121382 - nnethercote:rework-untranslatable_diagnostic-lint, ...Matthias Krüger-2/+2
2024-03-06Auto merge of #122045 - matthiaskrgr:rollup-5l3vpn7, r=matthiaskrgrbors-0/+21
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-4/+4
2024-03-05only set noalias on Box with the global allocatorRalf Jung-0/+21
2024-03-05Change message type in bug functions.Nicholas Nethercote-2/+2
2024-03-05Rename `DiagnosticMessage` as `DiagMessage`.Nicholas Nethercote-4/+2
2024-03-04Allow a way to add constructors for rustc_type_ir typesMichael Goulet-1/+8
2024-03-01Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errorsbors-0/+4
2024-02-29Overhaul how stashed diagnostics work, again.Nicholas Nethercote-2/+2
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-0/+4
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-3/+3
2024-02-15Fix closure kind docsMichael Goulet-11/+26
2024-02-14Rollup merge of #121083 - GuillaumeGomez:doc-to_opt_closure_kind, r=compiler-...Guillaume Gomez-0/+14
2024-02-14Extend documentation for `Ty::to_opt_closure_kind` methodGuillaume Gomez-0/+14
2024-02-13Uplift TypeVisitableExt into rustc_type_irMichael Goulet-0/+11
2024-02-12Dejargnonize substShoyu Vanilla-15/+15
2024-02-09Rollup merge of #120354 - lukas-code:metadata-normalize, r=lcnrMatthias Krüger-16/+32