Enum flowistry_pdg::rustc::mir::AggregateKind

pub enum AggregateKind<'tcx> {
    Array(Ty<'tcx>),
    Tuple,
    Adt(DefId, VariantIdx, &'tcx List<GenericArg<'tcx>>, Option<UserTypeAnnotationIndex>, Option<FieldIdx>),
    Closure(DefId, &'tcx List<GenericArg<'tcx>>),
    Generator(DefId, &'tcx List<GenericArg<'tcx>>, Movability),
}

Variants

Array(Ty<'tcx>)

The type is of the element

Tuple

Adt(DefId, VariantIdx, &'tcx List<GenericArg<'tcx>>, Option<UserTypeAnnotationIndex>, Option<FieldIdx>)

The second field is the variant index. It’s equal to 0 for struct and union expressions. The last field is the active field number and is present only for union expressions – e.g., for a union expression SomeUnion { c: .. }, the active field index would identity the field c

Closure(DefId, &'tcx List<GenericArg<'tcx>>)

Generator(DefId, &'tcx List<GenericArg<'tcx>>, Movability)