Module translate_generics 

Structs

BindingLevel 🔒

A level of binding for type-level variables. Each item has a top-level binding level corresponding to the parameters and clauses to the items. We may then encounter inner binding levels in the following cases:

LifetimeMutabilityComputer

Struct to compute the “mutability” of each lifetime.

Functions

translate_region_name 🔒

Small helper: we ignore some region names (when they are equal to “’_”)