Crate spade_ast_lowering

Help

Modules§

SelfContext
TypeSpecKind: The context in which a type expression occurs. This controls what hir::TypeExpressions an ast::TypeExpression can be lowered to

build_no_mangle_all_output_diagnostic 🔒: Builds a diagnostic for a #[no_mangle(all)]-marked unit with a non-unit output type.
check_for_undefined 🔒
ensure_unique_anonymous_traits: Ensures that there are no functions in anonymous trait impls that have conflicting names
re_visit_type_param: Visit an AST type parameter, converting it to a HIR type parameter. The name is not added to the symbol table as this function is re-used for both global symbol collection and normal HIR lowering.
try_lookup_enum_variant 🔒
unit_head: Visit the head of an entity to generate an entity head
visit_argument_list 🔒
visit_block 🔒
visit_call_kind
visit_const_generic
visit_expression
visit_item
visit_module
visit_module_body
visit_parameter_list 🔒
visit_pattern
visit_register 🔒
visit_statement 🔒
visit_trait_spec
visit_turbofish
visit_type_expression
visit_type_param: Visit an AST type parameter, converting it to a HIR type parameter and adding it to the symbol table
visit_type_spec
visit_unit: The extra_path parameter allows specifying an extra path prepended to the name of the entity. This is used by impl blocks to append a unique namespace
visit_where_clauses