{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"///"}]}
/// Constant containing an ADT that implements `Drop`.
/// This must be ruled out because implicit promotion would remove side-effects