about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Expand)AuthorLines
2023-11-02Factor out pointing at ADT definitionNadrieril-44/+41
2023-11-02Always do all the pattern checksNadrieril-60/+60
2023-11-02Tweak diagnostic for consistencyNadrieril-4/+2
2023-11-02Check pattern error while loweringNadrieril-42/+29
2023-11-02Uncomplicate check_let_chainNadrieril-45/+35
2023-11-02ReorderNadrieril-148/+151
2023-11-01Auto merge of #114208 - GKFX:offset_of_enum, r=wesleywiserbors-1/+1
2023-11-01Auto merge of #116692 - Nadrieril:half-open-ranges, r=cjgillotbors-272/+378
2023-10-31Support enum variants in offset_of!George Bateman-1/+1
2023-10-30Some more coroutine renamingsMichael Goulet-4/+9
2023-10-30Correctly handle nested or-patterns in column-wise analysesNadrieril-1/+1
2023-10-30remove some dead codeRalf Jung-10/+0
2023-10-28also lint against fn ptr and raw ptr nested inside the constRalf Jung-13/+9
2023-10-28patterns: reject raw pointers that are not just integersRalf Jung-8/+25
2023-10-27Make IntRange exclusiveNadrieril-57/+65
2023-10-27s/to_pat/to_diagnostic_pat/Nadrieril-18/+24
2023-10-27Match usize/isize exhaustivelyNadrieril-50/+113
2023-10-27Propagate half-open ranges through exhaustiveness checkingNadrieril-102/+158
2023-10-27Inline `RangeInclusive` into `IntRange`Nadrieril-41/+33
2023-10-27Don't use `IntRange` for booleansNadrieril-14/+56
2023-10-27Propagate half-open ranges through THIRNadrieril-15/+16
2023-10-27Abstract over `PatRange` boundary valueNadrieril-90/+28
2023-10-27Handle `ty::Opaque` correctlyNadrieril-1/+16
2023-10-27Lint overlapping ranges as a separate passNadrieril-89/+91
2023-10-27Abstract over per-column pattern traversalNadrieril-36/+77
2023-10-26Auto merge of #113262 - Nilstrieb:rawr-casting, r=lcnrbors-19/+13
2023-10-25Use let chains instead of let elseNilstrieb-19/+13
2023-10-25Auto merge of #116482 - matthewjasper:thir-unsafeck-inline-constants, r=b-naberbors-18/+40
2023-10-21Fix #117033Nadrieril-0/+3
2023-10-21Auto merge of #116734 - Nadrieril:lint-per-column, r=cjgillotbors-241/+324
2023-10-20s/Generator/Coroutine/Oli Scherer-4/+4
2023-10-16Address review commentsMatthew Jasper-24/+31
2023-10-16Fix inline const pattern unsafety checking in THIRMatthew Jasper-4/+19
2023-10-15Rollup merge of #116522 - bvanjoi:fix-115599, r=oli-obkMatthias Krüger-0/+8
2023-10-15Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstriebbors-59/+83
2023-10-15use `PatKind::error` when an ADT const value has violationbohan-0/+8
2023-10-14Lint `non_exhaustive_omitted_patterns` per columnNadrieril-78/+128
2023-10-14Distinguish user patterns from reconstructed witnessesNadrieril-165/+198
2023-10-14Skip most of check_match checks in the presence of `PatKind::Error`Nadrieril-7/+19
2023-10-14Use `PatKind::Error` instead of `PatKind::Wild` to report errorsNadrieril-22/+25
2023-10-14Propagate pattern errors via a new `PatKind::Error` variantNadrieril-17/+17
2023-10-13Bless tests and new warnings due to formatting changesMichael Goulet-1/+1
2023-10-13Format all the let chains in compilerMichael Goulet-59/+83
2023-10-12Auto merge of #116391 - Nadrieril:constructorset, r=cjgillotbors-581/+665
2023-10-11Remember the `ErrorReported` used to silence follow up errors instead of recr...Oli Scherer-13/+15
2023-10-11Avoid emitting the non_exhaustive error if other errors already occurredOli Scherer-1/+7
2023-10-11Prevent spurious `unreachable pattern` lintsOli Scherer-26/+35
2023-10-11Fix range overflow checkingNadrieril-31/+63
2023-10-11Rework error handling when lowering range endpointsNadrieril-114/+87
2023-10-05Fix handling slices of empty typesNadrieril-8/+21