Skip to main content Module resolver Copy item path Source ActivatedCallableArity ConditionalIncludeProjection CppScanBinding EffectiveUsingIndex MacroBinding MacroEnvironment MacroEnvironmentCursor OrdinaryTypeImport OutOfLineMemberDefinitionOwners ProjectUsingIndex QualifiedOwnerComponents SourceUsingIndex TargetSpec TypeScanKey VisibilityData VisibilityIndex Per-query C++ visibility facts. CallArityEvidence CppClassDeclarationStrength CppTemplateResolutionError Why template-argument resolution failed. Definition diagnostics render
each mode differently; graph scans only care that the resolution is
unproven and match Err(_). DesignatedInitializerOwner Aggregate-owner proof for a structurally recognized designated initializer. DirectOwnerResolution EffectiveUsingTarget EnclosingMemberOwnerResolution EnumOwnerKind LexicalCallableValueResolution LexicalTypeResolution MacroDefinition MacroEvent MacroIncludeProtection NamespaceValueResolution OrdinaryTypeImportResolution PreprocessorGuard RecoveredDeclaratorTypeContext TargetKind UsingEnumMemberResolution VisibleMemberResolution append_cpp_name_components argument_children build_visibility_data build_visible_identifier_index call_arity callable_preprocessor_context_is_visible canonical_cpp_scope_components Return the indexed C++ owner scope without reparsing its rendered name. collapse_owner_candidates collect_include_closure constructor_style_local_declaration constructor_type_node cpp_bind_template_arguments cpp_callable_arity cpp_class_declaration_strength cpp_function_return_type_text The declared return type text of a C++ function unit, with leading declaration specifiers
stripped, e.g. T* for T* operator->(). cpp_global_field_has_internal_linkage cpp_name_component_nodes cpp_name_for cpp_namespace_for cpp_reference_fqn_candidates cpp_substitute_template_arguments cpp_substitute_template_term cpp_template_reference_arguments cpp_type_name_components cpp_unify_template_term declaration_constructor_arity declaration_is_object_construction_candidate declaration_mentions_type declarator_name_node designated_initializer_owner Recognize a designated-initializer field and, when possible, resolve its
aggregate owner. enclosing_namespace_context extract_variable_name field_declared_binding field_declared_type_binding field_initializer_constructs_target first_type_child function_terminal_node Return the terminal identifier represented by a callable or type callee. has_ancestor_kind infer_cpp_initializer_binding infer_cpp_initializer_type is_call_callee_node Whether node is part of a call’s callee expression, walking only through
the grammar wrappers that can structurally contain that callee. is_declaration_name is_declarator_node is_globally_qualified_cpp_name is_nested_type_node True when node is a component of a larger structured type node whose outer
range is the single reference surfaced to callers. is_type_alias lexical_component_tiers matches_kind_for_lookup merge_preprocessor_guards name_matches_callable name_matches_terminal name_mentions normalize_cpp_reference_text normalize_reference_name normalize_type_text out_of_line_destructor_type_reference Return the terminal type-name occurrence in an out-of-line destructor
declarator such as endpoint::~endpoint. Unlike an ordinary terminal
method name, this identifier is a second reference to the owner type. out_of_line_member_definition_owner parameter_belongs_to_callable_scope Whether a parameter declaration belongs to the callable scope whose body can
contain references to it. precise_parent_of preprocessor_guard_environment qualified_owner_components recovered_macro_decorated_declarator_type Recognize a real type displaced into a qualified declarator by parser
recovery. recovered_macro_decorated_type_node Return the declaration/function type displaced by a macro-shaped
qualified declarator, together with the enclosing declaration context.
Callers use the macro scope only as structural admission evidence; the
returned node is the real type reference to resolve and record. reference_matches_unit resolve_declaring_member_owner resolve_namespace_value same_logical_symbol same_symbol same_visible_global_field_symbol same_visible_symbol signature_arity terminal_name type_owner_of Like precise_parent_of , but drops module (namespace) parents. A namespace is a scope, not a
type or receiver, so namespace-scoped functions and constants resolve as free functions and
globals rather than members. type_reference_hit_node visible_owner_from_member_name MacroEnvironmentCursorCell MacroEventCell OrdinaryTypeImportCell