{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"adt_ty"}]}
        adt_ty
        self.require_type_is_sized(adt_ty, expr.span, ObligationCauseCode::StructInitializerSized);
    }