Skip to main content

Module names

charon_lib::ast::meta

Module names 

Source
Expand description

User-visible names of items.

Structs§

Disambiguator
Name
An item name/path

Enums§

ImplElem
There are two kinds of impl blocks:
PathElem
See the comments for Name

Statics§

BOX_ASSUME_INIT_INTO_VEC_UNSAFE
BOX_WRITE
BOX_WRITE_PATTERN
EXPLICIT_PANIC_NAME
We treat this one specially in the inline_local_panic_functions pass. See there for details.