{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"Some(AdtDestructorKind::NotConst)"}]}
                Some(AdtDestructorKind::NotConst) => return Err(NoSolution),
                // `Drop` impl exists, but it's not const. Type cannot be `[const] Destruct`.
                // `Drop` impl exists, and it's const. Require `Ty: [const] Drop` to hold.