{"ast_node_type":"impl","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
                // `Drop` impl exists, but it's not const. Type cannot be `[const] Destruct`.
            match adt_def.destructor(cx) {
                Some(AdtDestructorKind::NotConst) => return Err(NoSolution),