about summary refs log tree commit diff
path: root/crates/hir-def/src/resolver.rs
AgeCommit message (Expand)AuthorLines
2023-12-22internal: Cleanup Expander a bitLukas Wirth-1/+13
2023-12-14Remove `ModuleId` from `TypeOwnerId`Lukas Wirth-1/+10
2023-12-08fix: prefer keeping Self if it is in the same impl defRyan Mehri-0/+8
2023-09-06Desugar builtin#format_argsLukas Wirth-17/+28
2023-08-20Implement extern crate completionJessie Chatham Spencer-0/+19
2023-08-17Thread imports through the resolverLukas Wirth-45/+71
2023-08-16Prepare ItemScope for IDE import resolutionLukas Wirth-3/+3
2023-08-09Record import source IDsLukas Wirth-5/+5
2023-08-07Support doc links that resolve to fieldsRyo Yoshida-33/+5
2023-08-02Add currently unused UseId variantsLukas Wirth-1/+7
2023-07-06Replace `x` with `it`hkalbasi-24/+24
2023-06-19HIR ExternCrateDeclLukas Wirth-4/+10
2023-06-14Auto merge of #15053 - Veykril:crate-root-module-id, r=Veykrilbors-5/+14
2023-06-14internal: Add a CrateRootModuleId that encodes a module id that is always a c...Lukas Wirth-5/+14
2023-06-12internal: Give ConstBlockId and InTypeConstId named Location typesLukas Wirth-2/+2
2023-06-11Flatten the `TypeOwnerId`hkalbasi-3/+11
2023-06-11Lower const params with a bad idhkalbasi-2/+13
2023-06-01Slightly shrink `DefMap`Lukas Wirth-4/+4
2023-05-28Add diagnostic for `_` expressions (typed holes)Lukas Wirth-0/+6
2023-05-17Process `macro_use` prelude in semantic scope resolverRyo Yoshida-1/+4
2023-05-11Consider macro sub-namespace during name resolutionRyo Yoshida-5/+15
2023-05-02Use triomphe ArcLaurențiu Nicola-1/+2
2023-04-14internal: Make block_def_map infallibleLukas Wirth-16/+12
2023-04-06hir_def::expr -> hir_def::hir, hir_def::type_ref -> hir_def::hir::type_refLukas Wirth-1/+1
2023-03-29Resolve and normalize path segments one by one in variant resolutionRyo Yoshida-1/+1
2023-03-17desugar `? operator`hkalbasi-6/+42
2023-03-06Add BindingIdhkalbasi-7/+7
2023-03-05Lift segment check out of the loop in resolve_path_in_value_nsLukas Wirth-45/+57
2023-03-05Allocate traits in scope upfront when type checking instead of recollecting t...Lukas Wirth-0/+9
2023-03-05Re-use the resolver in InferenceContext instead of rebuilding it on every exp...Lukas Wirth-6/+96
2023-03-04Set expectation for no-semi expression statements to unitLukas Wirth-2/+2
2023-03-03Auto merge of #14184 - lowr:feat/trait-alias-def, r=Veykrilbors-1/+15
2023-03-04Lower and handle trait aliases in HIRRyo Yoshida-1/+15
2023-03-03Split pattern inference into more functionsLukas Wirth-1/+1
2023-03-01Auto merge of #14176 - lowr:fix/assoc-func-vis-in-local-impl, r=Veykrilbors-1/+3
2023-02-27Fix 14142: Annotate lifetime paramaters in doctest runnablesJonas Marcello-0/+7
2023-02-19Fix associated item visibility in block-local implsRyo Yoshida-1/+3
2023-01-09Split out hir-def attribute handling parts into hir-expandLukas Wirth-1/+1
2023-01-02remove useless conversionsDaniel Eades-5/+2
2022-09-12Implemented basic enum const evalOleStrohm-0/+1
2022-09-02Clarify the state of (extern) preludes for block def mapsLukas Wirth-54/+49
2022-09-02Lift out the module scope into a field in the ResolverLukas Wirth-141/+141
2022-07-26Record derive helper attributes, resolve them in IDE layerLukas Wirth-0/+1
2022-07-26feat: Downmap tokens inside derive helpersLukas Wirth-1/+5
2022-07-05internal: Record all macro definitions in ItemScopeLukas Wirth-2/+7
2022-05-01style: rename crates to kebab casePeh-0/+902