about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/check.rs
AgeCommit message (Expand)AuthorLines
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-1/+1
2024-01-23Rename `TyCtxt::struct_span_lint_hir` as `TyCtxt::node_span_lint`.Nicholas Nethercote-3/+3
2024-01-17Add -Zno-implied-bounds-compat option and use itJack Huey-1/+1
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-1/+1
2024-01-13Add check for ui_testing via promoting parameters from `ParseSess` to `Session`George-lewis-2/+2
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-9/+8
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-4/+1
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-19/+25
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-08Use chaining for `DiagnosticBuilder` construction and `emit`.Nicholas Nethercote-3/+3
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-11/+11
2024-01-02Reorder `check_item_type` diagnostics so they occur next to the corresponding...Oli Scherer-17/+3
2024-01-02Refactor `check_item_type` to work on `LocalDefId` instead of `ItemId`Oli Scherer-34/+29
2023-12-24Remove more `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-29/+29
2023-12-15Don't pass lint back out of lint decoratorMichael Goulet-3/+3
2023-12-13Auto merge of #118500 - ZetaNumbers:tcx_hir_refactor, r=petrochenkovbors-2/+2
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-2/+2
2023-12-12review + rename fnlcnr-1/+1
2023-12-10remove redundant importssurechen-8/+4
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-7/+8
2023-11-26Rollup merge of #118311 - bvanjoi:merge_coroutinue_into_closure, r=petrochenkovGuillaume Gomez-2/+2
2023-11-26merge `DefKind::Coroutine` into `DefKind::Closure`bohan-2/+2
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-6/+4
2023-11-22Allow defining opaques in check_coroutine_obligationsMichael Goulet-4/+18
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-6/+6
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGua...Oli Scherer-1/+5
2023-10-20s/generator/coroutine/Oli Scherer-10/+10
2023-10-20s/Generator/Coroutine/Oli Scherer-4/+4
2023-10-15Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstriebbors-30/+27
2023-10-13Stabilize AFIT and RPITITMichael Goulet-3/+3
2023-10-13Format all the let chains in compilerMichael Goulet-30/+27
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-2/+2
2023-09-28Auto merge of #115659 - compiler-errors:itp, r=cjgillotbors-132/+3
2023-09-26Don't store lazyness in DefKindMichael Goulet-1/+1
2023-09-23Enable drop_tracking_mir by default.Camille GILLOT-8/+1
2023-09-23Check types live across yields in generators tooMichael Goulet-1/+20
2023-09-19Don't complain on a single non-exhaustive 1-zstMichael Goulet-19/+29
2023-09-17Auto merge of #115334 - RalfJung:transparent-aligned-zst, r=compiler-errorsbors-37/+21
2023-09-14Paper over an accidental regressionOli Scherer-1/+9
2023-09-08Stabilize impl_trait_projectionsMichael Goulet-132/+3
2023-08-29repr(transparent): it's fine if the one non-1-ZST field is a ZSTRalf Jung-37/+21
2023-08-19Do not compute unneeded results.Camille GILLOT-1/+1
2023-08-14Use `{Local}ModDefId` in many queriesNilstrieb-2/+2
2023-08-13Add typed `{Local}DefId` for modulesNilstrieb-1/+1
2023-08-08Auto merge of #114602 - compiler-errors:rpit-outlives-sadness, r=oli-obkbors-124/+28
2023-08-08Simplify via map_rpit_lifetime_to_fn_lifetimeMichael Goulet-144/+11
2023-08-08Stop using identity args for opaque type wf checks and instead load the args ...Oli Scherer-76/+113
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-1/+1