about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/thir.rs
AgeCommit message (Expand)AuthorLines
2024-04-23Rollup merge of #122598 - Nadrieril:full-derefpats, r=matthewjasperLeón Orell Valerian Liehr-2/+3
2024-04-20Track mutability of deref patternsNadrieril-2/+3
2024-04-20PatRangeBoundary::compare_with: als add a fast-path for signed integersRalf Jung-5/+8
2024-04-19Auto merge of #124113 - RalfJung:interpret-scalar-ops, r=oli-obkbors-10/+9
2024-04-19avoid PartialOrd on ScalarIntRalf Jung-10/+9
2024-04-18Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstriebbors-1/+1
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-17Rename `BindingAnnotation` to `BindingMode`Jules Bertholet-6/+3
2024-04-16Avoid lots of `hir::HirId{,Map,Set}` qualifiers.Nicholas Nethercote-7/+7
2024-04-03Rollup merge of #123401 - Zalathar:assert-size-aarch64, r=fmeaseJacob Pratt-1/+1
2024-04-03Rollup merge of #123301 - Nadrieril:unions, r=compiler-errorsMatthias Krüger-1/+2
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-04-02Fix suggestions for match non-exhaustivenessMichael Goulet-1/+2
2024-04-01Fix union handling in exhaustivenessNadrieril-1/+2
2024-03-29Auto merge of #123080 - Jules-Bertholet:mut-ref-mut, r=Nadrierilbors-26/+13
2024-03-27Int constants must be valtrees in pattern loweringOli Scherer-5/+1
2024-03-27Remove `Ord` from `Ty`, `Const`, and `Region`Oli Scherer-1/+5
2024-03-27Implement `mut ref`/`mut ref mut`Jules Bertholet-26/+13
2024-03-21Implement macro-based deref!() syntax for deref patternsMichael Goulet-1/+1
2024-03-20Add barest-bones deref patternsNadrieril-0/+9
2024-03-15Docs for `thir::ExprKind::Use` and `thir::ExprKind::Let`Zalathar-1/+12
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-4/+4
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-0/+3
2024-02-29Rollup merge of #121376 - Nadrieril:mir-half-ranges, r=pnkfelixGuillaume Gomez-16/+2
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-2/+2
2024-02-27Document invariant in `thir::PatRange`Nadrieril-0/+2
2024-02-27Skip unnecessary comparison with half-open rangesNadrieril-16/+0
2024-02-24Add asm label support to THIRGary Guo-0/+3
2024-02-02Remove dead args from functionsMichael Goulet-1/+0
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-1/+1
2024-01-06Don't populate yield and resume types after the factMichael Goulet-2/+0
2024-01-05Remove `thir::Guard`Matthew Jasper-8/+1
2023-12-04Don't include destruction scopes in THIRMatthew Jasper-4/+2
2023-11-29Add `never_patterns` feature gateNadrieril-1/+10
2023-11-15Re-format code with new rustfmtMark Rousskov-1/+3
2023-11-01Auto merge of #114208 - GKFX:offset_of_enum, r=wesleywiserbors-1/+1
2023-10-31Update MIR tests for offset_ofGeorge Bateman-1/+0
2023-10-31Enums in offset_of: update based on est31, scottmcm & llogiq reviewGeorge Bateman-2/+2
2023-10-31Support enum variants in offset_of!George Bateman-2/+3
2023-10-27Propagate half-open ranges through THIRNadrieril-23/+49
2023-10-27Abstract over `PatRange` boundary valueNadrieril-10/+213
2023-10-25Auto merge of #116482 - matthewjasper:thir-unsafeck-inline-constants, r=b-naberbors-1/+21
2023-10-20s/generator/coroutine/Oli Scherer-2/+2
2023-10-16Address review commentsMatthew Jasper-2/+13
2023-10-16Fix inline const pattern unsafety checking in THIRMatthew Jasper-1/+10
2023-10-14Propagate pattern errors via a new `PatKind::Error` variantNadrieril-5/+26
2023-10-11Avoid emitting the non_exhaustive error if other errors already occurredOli Scherer-5/+8
2023-09-27Auto merge of #115887 - RalfJung:pat, r=oli-obkbors-6/+10
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-5/+5
2023-09-16thir::pattern: update some comments and error type namesRalf Jung-6/+10