about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/lib.rs
AgeCommit message (Expand)AuthorLines
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-26Use `rustc_fluent_macro::fluent_messages!` directly.Nicholas Nethercote-2/+1
2023-11-26Avoid need for `{D,Subd}iagnosticMessage` imports.Nicholas Nethercote-1/+0
2023-11-15Bump cfg(bootstrap)sMark Rousskov-3/+3
2023-10-25Auto merge of #117180 - matthiaskrgr:rollup-rxhl6ep, r=matthiaskrgrbors-2/+6
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGua...Oli Scherer-2/+6
2023-10-24Merge impl_wf_inference into coherence checkingMichael Goulet-6/+3
2023-10-23Let's see what those opaque types actually areMichael Goulet-0/+4
2023-10-23Allow `ensure` queries to return `Result<(), ErrorGuaranteed>`Oli Scherer-1/+1
2023-10-20Avoid a `track_errors` by bubbling up most errors from `check_well_formed`Oli Scherer-4/+2
2023-10-08rustdoc: remove rust logo from non-Rust cratesMichael Howell-0/+3
2023-09-19rustc_hir_analysis: add a helper to check function the signature mismatchesEduardo Sánchez Muñoz-25/+1
2023-09-14Enable varargs support for AAPCS calling conventionSoveu-1/+1
2023-09-02Freeze `Definitions` earlierJohn Kåre Alsaker-0/+4
2023-07-16Querify unused trait check.Camille GILLOT-1/+2
2023-07-15Check entry type as part of item type checking.Camille GILLOT-268/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-4/+4
2023-07-11typeck in parallelSparrowLii-0/+12
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-13/+19
2023-06-14remove hash_drain_filter feature usesThe 8472-1/+0
2023-06-14s/drain_filter/extract_if/ for Vec, Btree{Map,Set} and LinkedListThe 8472-1/+0
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-05-02Implement negative boundsMichael Goulet-0/+1
2023-05-01Do not consider associated type bounds for super_predicates_that_define_assoc...Michael Goulet-1/+2
2023-04-21Leave it to the query system to invoke the typeck query instead of invoking i...Oli Scherer-2/+0
2023-04-18Add `rustc_fluent_macro` to decouple fluent from `rustc_macros`Nilstrieb-1/+1
2023-04-06Stabilize is_some_andJonas Platte-1/+0
2023-03-29Stabilize a portion of 'once_cell'Trevor Gross-1/+1
2023-03-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-17/+16
2023-03-21Use LocalDefId in ItemCtxtMichael Goulet-2/+2
2023-03-21remove some trait solver helperslcnr-17/+16
2023-03-15always make `define_opaque_types` explicitlcnr-2/+2
2023-03-12Allow `#[target_feature]` on `main` and `start` for WASMLéo Lanteri Thauvin-2/+11
2023-03-12Forbid the use of `#[target_feature]` on `start`Léo Lanteri Thauvin-0/+7
2023-03-12Forbid the use of `#[target_feature]` on `main`Léo Lanteri Thauvin-0/+5
2023-03-11Simplify message pathsest31-1/+1
2023-03-09Remove body_def_id from InheritedMichael Goulet-2/+2
2023-02-24Migrate `rustc_hir_analysis` to session diagnosticObei Sideg-63/+17
2023-02-23hir-analysis: make where-clause-on-main diagnostic translatableTshepang Mbambo-10/+4
2023-02-22errors: generate typed identifiers in each crateDavid Wood-0/+4
2023-02-21hir-analysis: make one diagnostic translatableTshepang Mbambo-4/+1
2023-02-17Use `IntoIterator` for `mk_fn_sig`.Nicholas Nethercote-3/+2
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-2/+2
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-2/+2
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-1/+1
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-2/+2
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-2/+2
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-10/+13
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-9/+6
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-4/+4