[−][src]Module c2rust_refactor::analysis::labeled_ty

Provides a wrapper around rustc::ty::Ty with a label attached to each type constructor. This

Labeled type data is manipulated by reference, the same as with Tys, and the data is stored in the same arena as the underlying Tys.

Structs

LabeledTyCtxt

Context for constructing LabeledTys.

LabeledTyS

The actual data for a labeled type.

Type Definitions

LabeledTy

A labeled type. Like rustc::ty::Ty, this is a reference to some arena-allocated data.