about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/mod.rs
AgeCommit message (Expand)AuthorLines
2024-01-13Add check for ui_testing via promoting parameters from `ParseSess` to `Session`George-lewis-1/+1
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-1/+1
2024-01-06Disallow reference to `static mut` for expressionsObei Sideg-0/+1
2024-01-02Merge check_for_entry_fn fully into check_mod_type_wfOli Scherer-2/+0
2024-01-02Reorder `check_item_type` diagnostics so they occur next to the corresponding...Oli Scherer-2/+2
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-10/+10
2023-12-18Check generic params after sigature for main-fn-tyr0cky-24/+27
2023-12-13Auto merge of #118500 - ZetaNumbers:tcx_hir_refactor, r=petrochenkovbors-1/+1
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-1/+1
2023-12-12review + rename fnlcnr-1/+1
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-1/+1
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-2/+1
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-1/+1
2023-09-29fix(suggestion): insert projection to associated typesbohan-28/+39
2023-09-22Allow higher-ranked fn sigs in ValuePairsMichael Goulet-7/+4
2023-09-19wrap fn sig binders in fn ptrEduardo Sánchez Muñoz-10/+7
2023-09-19rustc_hir_analysis: add a helper to check function the signature mismatchesEduardo Sánchez Muñoz-2/+89
2023-08-22unknown unstable lint command linemojave2-0/+1
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-1/+1
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-1/+1
2023-07-15Check entry type as part of item type checking.Camille GILLOT-0/+1
2023-07-14Rollup merge of #113698 - compiler-errors:rpitit-check, r=spastorinoMatthias Krüger-1/+1
2023-07-14Make it clearer that we're just checking for an RPITITMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-10/+10
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-4/+4
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-3/+1
2023-06-21Liberate bound vars properly when suggesting missing AFITMichael Goulet-13/+10
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-2/+2
2023-06-19s/Clause/ClauseKindMichael Goulet-2/+2
2023-06-13Suggest correct signature on missing fn returning RPITIT/AFITMichael Goulet-2/+29
2023-06-05Avoid going through queries if a value of type `AssocItem` is already availableOli Scherer-1/+1
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-04-21Migrate `rustc_hir_analysis` to session diagnosticObei Sideg-84/+76
2023-04-19Format missing GATs correctlyMichael Goulet-1/+7
2023-04-19Make missing impl item suggestions more obvious that they're missingMichael Goulet-2/+2
2023-04-19Substitute missing item suggestion correctlyMichael Goulet-8/+23
2023-03-23Rollup merge of #109414 - spastorino:new-rpitit-16, r=compiler-errorsDylan DPC-1/+4
2023-03-21Do not consider synthesized RPITITs on missing items checksSantiago Pastorino-1/+4
2023-03-21Use local key in providersMichael Goulet-2/+2
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-5/+5
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-5/+5
2023-02-14Fetch less HIR in signature check.Camille GILLOT-12/+8
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-0/+1
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-1/+1
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-9/+9
2022-12-28better names and a commentMichael Goulet-2/+2