about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2024-01-09Rollup merge of #119721 - compiler-errors:constness-implication, r=fee1-deadGuillaume Gomez-83/+8
2024-01-09Rollup merge of #117556 - obeis:static-mut-ref-lint, r=davidtwcoGuillaume Gomez-0/+210
2024-01-08Only compute layout of opaque if coroutine is the cause of an opaque cycleMichael Goulet-9/+26
2024-01-08Don't check for recursion in generator witness fieldsMichael Goulet-18/+7
2024-01-08Remove logic in one_bound in astconv that prefers non-const boundsMichael Goulet-33/+2
2024-01-08~const trait or projection bounds do not imply non-const boundsMichael Goulet-50/+6
2024-01-08Remove all eight `DiagnosticBuilder::*_with_code` methods.Nicholas Nethercote-5/+5
2024-01-08Use chaining for `DiagnosticBuilder` construction and `emit`.Nicholas Nethercote-80/+88
2024-01-08Use chaining in `DiagnosticBuilder` construction.Nicholas Nethercote-4/+2
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-37/+37
2024-01-05Rollup merge of #119420 - cjgillot:issue-119295, r=compiler-errorsMichael Goulet-0/+7
2024-01-06Call `maybe_stmt_static_mut` inside `resolve_stmt`Obei Sideg-1/+3
2024-01-06Call `maybe_expr_static_mut` inside `resolve_expr`Obei Sideg-0/+4
2024-01-06Disallow reference to `static mut` for statementsObei Sideg-0/+19
2024-01-06Disallow reference to `static mut` for expressionsObei Sideg-0/+185
2024-01-05Do not run check on foreign items.Camille GILLOT-1/+1
2024-01-05Handle ForeignItem as TAIT scope.Camille GILLOT-0/+7
2024-01-05Auto merge of #119634 - matthiaskrgr:rollup-v2xt7et, r=matthiaskrgrbors-96/+155
2024-01-05Rollup merge of #119554 - matthewjasper:remove-guard-distinction, r=compiler-...Matthias Krüger-1/+11
2024-01-05Rollup merge of #119354 - fmease:negative_bounds-fixes, r=compiler-errorsMatthias Krüger-22/+30
2024-01-05Rollup merge of #119350 - fmease:lazy-ty-aliases-implied-bounds, r=compiler-e...Matthias Krüger-73/+114
2024-01-05Auto merge of #119192 - michaelwoerister:mcp533-push, r=cjgillotbors-6/+8
2024-01-05Rollup merge of #119538 - nnethercote:cleanup-errors-5, r=compiler-errorsMichael Goulet-4/+4
2024-01-05Rollup merge of #119148 - estebank:bare-traits, r=davidtwcoMichael Goulet-19/+142
2024-01-05Restore if let guard temporary scoping differenceMatthew Jasper-2/+11
2024-01-05Remove `hir::Guard`Matthew Jasper-1/+2
2024-01-05Auto merge of #117213 - oli-obk:check_item_type_cleanup, r=estebankbors-64/+42
2024-01-04Make iteration order of collect_return_position_impl_trait_in_trait_tys query...Michael Woerister-3/+3
2024-01-04Replace a number of FxHashMaps/Sets with stable-iteration-order alternatives.Michael Woerister-3/+5
2024-01-04Silence redundant warning when E0038 will be emittedEsteban Küber-1/+7
2024-01-03Account for object unsafe traitsEsteban Küber-25/+41
2024-01-03review commentsEsteban Küber-15/+21
2024-01-03Provide better suggestions when encountering a bare trait as a typeEsteban Küber-18/+113
2024-01-03Rollup merge of #119505 - fmease:no-host-param-for-trait-fns, r=fee1-deadLeón Orell Valerian Liehr-1/+4
2024-01-03Rename some `Diagnostic` setters.Nicholas Nethercote-4/+4
2024-01-02Merge check_for_entry_fn fully into check_mod_type_wfOli Scherer-11/+8
2024-01-02Reorder `check_item_type` diagnostics so they occur next to the corresponding...Oli Scherer-28/+14
2024-01-02Refactor `check_item_type` to work on `LocalDefId` instead of `ItemId`Oli Scherer-34/+29
2024-01-02Turn a bug!() into a span_delay_bug()León Orell Valerian Liehr-1/+4
2023-12-28Fix some commentscuishuang-1/+1
2023-12-28Imply outlives-bounds on lazy type aliasesLeón Orell Valerian Liehr-73/+114
2023-12-28Don't elaborate `!Sized` to `!Sized + Sized`León Orell Valerian Liehr-22/+30
2023-12-27Introduce `const Trait` (always-const trait bounds)León Orell Valerian Liehr-3/+10
2023-12-26Auto merge of #119258 - compiler-errors:closure-kind, r=eholkbors-13/+13
2023-12-26Auto merge of #119146 - nnethercote:rm-DiagCtxt-api-duplication, r=compiler-e...bors-252/+254
2023-12-25Only regular coroutines have movabilityMichael Goulet-2/+2
2023-12-25Auto merge of #119261 - cjgillot:outlive-def-kind, r=compiler-errorsbors-39/+25
2023-12-25Make closures carry their own ClosureKind, rather than deducing what it is fr...Michael Goulet-9/+13
2023-12-25Remove unnecessary body_expr_countMichael Goulet-4/+0
2023-12-25Auto merge of #119122 - matthewjasper:if-let-guard-scoping, r=TaKO8Kibors-3/+3