about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Expand)AuthorLines
2023-11-26Clean dead codesr0cky-149/+3
2023-11-26Auto merge of #117611 - Nadrieril:linear-pass-take-4, r=cjgillotbors-764/+1013
2023-11-25Review commentMichael Goulet-20/+8
2023-11-25make sure we still eagerly emit errorsMichael Goulet-2/+4
2023-11-25Remove mir::Const::from_anon_constMichael Goulet-4/+22
2023-11-25effects: Run `enforce_context_effects` for all method callsDeadbeef-4/+4
2023-11-22Separate `PatStack` and `MatrixRow`Nadrieril-42/+90
2023-11-22Clarify the `Wildcard`/`Missing` situationNadrieril-43/+59
2023-11-22Cleanup span passingNadrieril-30/+31
2023-11-22Store wildcard row in the matrixNadrieril-39/+48
2023-11-22Fully rework the algorithm and its explanationNadrieril-638/+748
2023-11-22Keep rows with guards in the matrixNadrieril-46/+38
2023-11-22Respect `split` invariants for `Opaque`sNadrieril-25/+59
2023-11-22Abstract over the list of `WitnessStack`sNadrieril-69/+106
2023-11-22Tweak `lower_pattern`Nadrieril-2/+4
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-66/+59
2023-11-17rename bound region instantiationlcnr-1/+1
2023-11-15Re-format code with new rustfmtMark Rousskov-5/+7
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-11-08Auto merge of #116930 - RalfJung:raw-ptr-match, r=davidtwcobors-30/+31
2023-11-08avoid unnecessary nested conditionalsRalf Jung-11/+9
2023-11-04Suggest to set lint level on whole matchNadrieril-13/+25
2023-11-04Warn when lint level is set on a match armNadrieril-21/+41
2023-11-03Tweak spans for "adt defined here" noteNadrieril-6/+1
2023-11-03Accumulate let chains alongside the visitNadrieril-76/+78
2023-11-02Cleanup check_match code pathsNadrieril-110/+104
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