{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"///"}]}
/// implied by the ADT being well formed.
/// proven from within `adt_def_id`'s environment. I.e. all the predicates on the impl are
fn ensure_impl_predicates_are_implied_by_item_defn<'tcx>(