{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"///"}]}
    /// can safely read from all of the ADT's fields.
    /// ADT's remain fully-initialized so that user-defined destructor
    InteriorOfTypeWithDestructor { container_ty: Ty<'tcx> },