Skip to main content

Module user_type_annotations

charon_driver::translate

Module user_type_annotations 

Source
Expand description

Recover the type annotations provided by the user inside a body.

Structs§

UserTypeAnnotation 🔒
UserTypeAnnotations 🔒
User-provided type annotations for this MIR body.

Functions§

translate_user_annotation 🔒
Translate a user annotation and the outlives obligations needed to validate it.