about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/wfcheck.rs
AgeCommit message (Expand)AuthorLines
2025-09-16Rollup merge of #145095 - tiif:unstable_const_param, r=BoxyUwUStuart Cook-12/+1
2025-09-15Remove UnsizedConstParamTy trait and make it into an unstable impltiif-12/+1
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-3/+4
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-5/+3
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-1/+1
2025-08-13Cleanup assoc parent utilsCameron Steffen-2/+1
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-47/+46
2025-07-26Do not check Sync during type_of.Camille GILLOT-2/+3
2025-07-25Check statics' type in type_of.Camille GILLOT-3/+3
2025-07-15Implement other logicstiif-5/+9
2025-07-12Clean up implementation of RPITIT assoc item loweringMichael Goulet-2/+2
2025-07-13query RPITIT in a trait or implbohan-2/+4
2025-07-07Add `ty_span` queryOli Scherer-10/+6
2025-07-04NitsMichael Goulet-1/+1
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-1/+1
2025-07-03compiler: inline 1-2 query provide fn in hir_analysis and hir_typeckJubilee Young-7/+5
2025-06-30Don't run hir wfcheck if ty wfcheck handled everythingOli Scherer-12/+5
2025-06-30Avoid some eager uses of HIR spansOli Scherer-4/+5
2025-06-30Stop requiring HIR for impl item wf checksOli Scherer-10/+6
2025-06-30Stop requiring HIR for trait item wf checksOli Scherer-6/+4
2025-06-30Avoid looking at HIR for trait and impl itemsOli Scherer-23/+7
2025-06-30Avoid eagerly loading the hir fn sigOli Scherer-14/+11
2025-06-30Merge `lower_trait_item` and `lower_impl_item` into `check_item_type`Oli Scherer-4/+0
2025-06-30Merge `lower_item` into `check_item_type`Oli Scherer-1/+0
2025-06-30Move lazy type alias checks to non-hir-wfckOli Scherer-16/+7
2025-06-30Use predicate spans instead of whole item spansOli Scherer-26/+15
2025-06-30Check variances in the non-hir wfcheckerOli Scherer-20/+6
2025-06-30Make variance wfcheck only use the HIR in the error pathOli Scherer-28/+26
2025-06-30Don't look at static items' HIR for wfcheckOli Scherer-34/+21
2025-06-30Unconditionally run `check_item_type` on all itemsOli Scherer-9/+4
2025-06-30Make check_param_wf only go through the HIR in the error pathOli Scherer-25/+25
2025-06-30Stop storing `Span` that is only used for checking for global bounds that do ...Oli Scherer-21/+14
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-1/+1
2025-06-27Report infer ty errors during hir ty loweringOli Scherer-1/+0
2025-06-26Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwUMichael Goulet-1/+3
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-1/+1
2025-06-25Remove some glob imports from the type systemMichael Goulet-3/+7
2025-06-23Add note to find_const_ty_from_envMichael Goulet-1/+3
2025-06-22Rollup merge of #142458 - oli-obk:dyn-incompat, r=compiler-errorsGuillaume Gomez-66/+0
2025-06-20Rollup merge of #142687 - cjgillot:less-hir_crate, r=oli-obkTrevor Gross-1/+1
2025-06-18Make feature suggestion more consistent.Camille GILLOT-1/+1
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `?Sized` typesDavid Wood-0/+5
2025-06-13Merge unboxed trait object error suggestion into regular dyn incompat errorOli Scherer-66/+0
2025-06-08Auto merge of #142074 - oli-obk:its-finally-gone, r=petrochenkovbors-7/+8
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-10/+10
2025-06-05Remove CollectItemTypesVisitorOli Scherer-6/+4
2025-06-05wfcheck closuresOli Scherer-1/+4
2025-06-03Run wfcheck in one big loop instead of per moduleOli Scherer-7/+6
2025-05-30Reorder fields in `hir::ItemKind` variants.Nicholas Nethercote-12/+10
2025-05-29Rollup merge of #141638 - oli-obk:builtin-index, r=lcnrJacob Pratt-2/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-26 14:14:54 +0000