about summary refs log tree commit diff
path: root/compiler/rustc_mir_build/src/thir
AgeCommit message (Collapse)AuthorLines
2023-01-17Migrate mir_build's borrow conflictsmejrs-40/+37
2023-01-17tidyWaffle Maybe-16/+15
rustfmt, pleaaaaase, start supporting rust Co-authored-by: nils <48135649+Nilstrieb@users.noreply.github.com>
2023-01-17Don't call closures immediately, use `try{}` blocksMaybe Waffle-19/+15
2023-01-14suggest fix for attempted integer identifier in patternsEzra Shaw-4/+16
2023-01-11Rollup merge of #106097 - mejrs:mir_build2, r=oli-obkMichael Goulet-318/+135
Migrate mir_build diagnostics 2 of 3 The first three commits are fairly boring, however I've made some changes to the output of the match checking diagnostics.
2023-01-12Expand format_args!() in rust_ast_lowering.Mara Bos-3/+3
2023-01-11Translate `Overlap` eagerlymejrs-6/+3
2023-01-11Some cleanup, oopsmejrs-5/+0
2023-01-11Don't recommend `if let` if `let else` worksmejrs-16/+7
2023-01-11Migrate pattern matchingmejrs-178/+88
2023-01-11Migrate usefulness.rsmejrs-4/+21
2023-01-11Migrate deconstruct_pat.rsmejrs-21/+14
2023-01-11Translate const_to_pat.rsmejrs-138/+52
2023-01-11Detect out of bounds range pattern valueEsteban Küber-6/+62
Fix #68972.
2023-01-04rename get_parent_node to parent_idMichael Goulet-6/+6
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-10/+7
2022-12-17Try to fix ICEmejrs-1/+5
2022-12-17Resolve various merge conflictsmejrs-15/+12
2022-12-17Migrate multiple mut borrows diagnosticTheOddGarlic-7/+7
2022-12-17Migrate borrow of moved value diagnosticTheOddGarlic-17/+7
2022-12-17Migrate irrefutable let pattern diagnosticsTheOddGarlic-57/+13
2022-12-17Migrate pattern bindings with variant name lintTheOddGarlic-22/+10
2022-12-17Migrate leading/trailing irrefutable let pattern diagnosticsTheOddGarlic-25/+10
2022-12-17Migrate lower range bound diagnosticsTheOddGarlic-24/+5
2022-12-17Migrate "could not evaluate const pattern" diagnosticTheOddGarlic-3/+3
2022-12-17Migrate "constant pattern depends on generic parameter" diagnosticTheOddGarlic-3/+4
2022-12-17Migrate unreachable pattern diagnosticTheOddGarlic-8/+6
2022-12-17Migrate pattern inlining error diagnosticsTheOddGarlic-13/+5
2022-12-17Migrate "non-exhaustive patterns: type is non-empty" diagnosticTheOddGarlic-7/+12
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-12Auto merge of #105160 - nnethercote:rm-Lit-token_lit, r=petrochenkovbors-2/+2
Remove `token::Lit` from `ast::MetaItemLit`. Currently `ast::MetaItemLit` represents the literal kind twice. This PR removes that redundancy. Best reviewed one commit at a time. r? `@petrochenkov`
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-1/+1
2022-12-04drive-by: move field_index to typeck resultsMichael Goulet-3/+3
2022-12-02Add `StrStyle` to `ast::LitKind::ByteStr`.Nicholas Nethercote-2/+2
This is required to distinguish between cooked and raw byte string literals in an `ast::LitKind`, without referring to an adjacent `token::Lit`. It's a prerequisite for the next commit.
2022-11-28Remove `Const::from_value`Maybe Waffle-1/+1
...it's just `mk_const` but without the sparcles
2022-11-24Rollup merge of #103908 - estebank:consider-cloning, r=compiler-errorsMatthias Krüger-4/+12
Suggest `.clone()` or `ref binding` on E0382
2022-11-24Auto merge of #104507 - WaffleLapkin:asderefsyou, r=wesleywiserbors-9/+7
Use `as_deref` in compiler (but only where it makes sense) This simplifies some code :3 (there are some changes that are not exacly `as_deref`, but more like "clever `Option`/`Result` method use")
2022-11-23Account for `x @ y` and suggest `ref x @ ref y`Esteban Küber-4/+12
2022-11-22Auto merge of #103578 - petrochenkov:nofict, r=nagisabors-1/+1
Unreserve braced enum variants in value namespace With this PR braced enum variants (`enum E { V { /*...*/ } }`) no longer take a slot in value namespace, so the special case mentioned in the note in https://github.com/rust-lang/rfcs/blob/master/text/1506-adt-kinds.md#braced-structs is removed. Report - https://github.com/rust-lang/rust/pull/103578#issuecomment-1292594900.
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-2/+1
2022-11-21Fix an ICE that I just made worseOli Scherer-9/+1
2022-11-21Use iterators instead of slices at more sitesOli Scherer-1/+1
2022-11-21Assert that various types have the right amount of generic args and fix the ↵Oli Scherer-1/+9
sites that used the wrong amount
2022-11-21Reduce the amount of passed-around arguments that will get merged into one ↵Oli Scherer-8/+9
later anyway
2022-11-21Unreserve braced enum variants in value namespaceVadim Petrochenkov-1/+1
2022-11-20Change to Ty::is_inhabited_fromCameron Steffen-2/+2
2022-11-18review feedbackRalf Jung-7/+1
2022-11-18interpret: use Either over Result when it is not representing an error conditionRalf Jung-13/+15
2022-11-17Auto merge of #104170 - cjgillot:hir-def-id, r=fee1-deadbors-12/+7
Record `LocalDefId` in HIR nodes instead of a side table This is part of an attempt to remove the `HirId -> LocalDefId` table from HIR. This attempt is a prerequisite to creation of `LocalDefId` after HIR lowering (https://github.com/rust-lang/rust/pull/96840), by controlling how `def_id` information is accessed. This first part adds the information to HIR nodes themselves instead of a table. The second part is https://github.com/rust-lang/rust/pull/103902 The third part will be to make `hir::Visitor::visit_fn` take a `LocalDefId` as last parameter. The fourth part will be to completely remove the side table.
2022-11-16Use `as_deref` in compiler (but only where it makes sense)Maybe Waffle-9/+7