about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Expand)AuthorLines
2024-07-23Rollup merge of #125834 - workingjubilee:weaken-thir-unsafeck-for-addr-of-sta...Matthias Krüger-2/+4
2024-07-22compiler: treat `&raw (const|mut) UNSAFE_STATIC` implied deref as safeJubilee Young-2/+4
2024-07-21Explain why we require `_` for empty patternsNadrieril-0/+4
2024-07-21Tweak `collect_non_exhaustive_tys`Nadrieril-16/+16
2024-07-18remove saw_const_match_error; check if pattern contains an Error insteadRalf Jung-14/+3
2024-07-18avoid creating an Instance only to immediately disassemble it againRalf Jung-31/+2
2024-07-18const_to_pat: cleanup leftovers from when we had to deal with non-structural ...Ralf Jung-226/+107
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-4/+3
2024-07-03Auto merge of #125507 - compiler-errors:type-length-limit, r=lcnrbors-1/+2
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-1/+2
2024-07-02chore: remove duplicate wordshattizai-1/+1
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-1/+1
2024-06-23Replace `f16` and `f128` pattern matching stubs with real implementationsTrevor Gross-2/+2
2024-06-18Remove redundant argument from `subdiagnostic` methodOli Scherer-1/+1
2024-06-15Rollup merge of #126354 - compiler-errors:variance, r=lcnrMatthias Krüger-3/+3
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-1/+2
2024-06-12Use Variance glob import everywhereMichael Goulet-3/+3
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-9/+6
2024-06-07Revert "Create const block DefIds in typeck instead of ast lowering"Oli Scherer-7/+9
2024-06-05Add `Ty` to `mir::Const::Ty`Boxy-14/+21
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-3/+3
2024-05-29Make `body_owned_by` return the body directly.Oli Scherer-18/+3
2024-05-28Create const block DefIds in typeck instead of ast loweringOli Scherer-11/+24
2024-05-26Auto merge of #124661 - RalfJung:only-structural-consts-in-patterns, r=pnkfelixbors-80/+6
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_mir_build`.Nicholas Nethercote-2/+9
2024-05-13Auto merge of #124914 - nnethercote:rm-extern-crate-rustc_middle, r=saethlinbors-6/+12
2024-05-13Remove `extern crate rustc_middle` from `rustc_mir_build`.Nicholas Nethercote-6/+12
2024-05-12Match ergonomics 2024: migration lintJules Bertholet-19/+71
2024-05-03turn pointer_structural_match into a hard errorRalf Jung-7/+3
2024-05-03remove IndirectStructuralMatch lint, emit the usual hard error insteadRalf Jung-73/+3
2024-05-02Inline & delete `Ty::new_unit`, since it's just a field accessWaffle Lapkin-2/+2
2024-04-30Replace item names containing an error code with something more meaningfulLeón Orell Valerian Liehr-11/+5
2024-04-20Track mutability of deref patternsNadrieril-2/+4
2024-04-17Rename `BindingAnnotation` to `BindingMode`Jules Bertholet-2/+2
2024-04-16Rollup merge of #123512 - Jules-Bertholet:ref-pat-eat-one-layer-2024, r=Nadri...Guillaume Gomez-1/+1
2024-04-15Ensure inherited reference is never set to `&mut` behind an `&`Jules Bertholet-1/+1
2024-04-15Make thir_tree and thir_flat into hooksMichael Goulet-5/+6
2024-04-12Suppress erroneous suggestionAlan Egerton-0/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-1/+1
2024-04-05Rollup merge of #123311 - Jules-Bertholet:andpat-everywhere, r=NadrierilGuillaume Gomez-1/+8
2024-04-02Fix suggestions for match non-exhaustivenessMichael Goulet-17/+43
2024-04-02Address review commentsJules Bertholet-7/+7
2024-03-30Implement "&<pat> everywhere"Jules Bertholet-2/+9
2024-03-27Implement `mut ref`/`mut ref mut`Jules Bertholet-33/+19
2024-03-22Ty::new_ref and Ty::new_ptr stop using TypeAndMutMichael Goulet-6/+2
2024-03-22Rollup merge of #121619 - RossSmyth:pfix_match, r=petrochenkovMatthias Krüger-0/+1
2024-03-21Implement macro-based deref!() syntax for deref patternsMichael Goulet-1/+1
2024-03-20Add barest-bones deref patternsNadrieril-0/+9
2024-03-18Rollup merge of #121823 - Nadrieril:never-witnesses, r=compiler-errorsMatthias Krüger-35/+39
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-5/+4