{"ast_node_type":"impl","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
        // *and* if there is a `Drop` impl, that `Drop` impl is also `[const]`.
        // An ADT is `[const] Destruct` only if all of the fields are,
        ty::Adt(adt_def, args) => {