{"ast_node_type":"impl","tokens":[{"end":90,"kind":"keyword","start":0,"text":"///"}]}
/// proven from within `adt_def_id`'s environment. I.e. all the predicates on the impl are
/// Confirms that all predicates defined on the `Drop` impl (`drop_impl_def_id`) are able to be
/// implied by the ADT being well formed.