Module ownership
Source - NormalizedTy
- Normalized ownership representation used by checker and lowering boundaries.
- AccessMode
- Access intent associated with one normalized type at a usage boundary.
- BaseTy
- Pure type identity without ownership or mutability semantics.
- NormalizeError
- Error returned when converting semantic type shapes into normalized forms.
- boundary_base_for_access 🔒
- Apply boundary access semantics to one top-level base type.
- normalize_base_ty 🔒
- Convert one type into base type identity without access semantics.
- normalize_ty
- Normalize one type by extracting top-level reference ownership.
- normalize_ty_with_access
- Normalize one type using one explicit boundary access mode.