{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"ty::Adt(adt_def,"}]}
        ty::Adt(adt_def, adt_to_impl_args) => {
    match self_ty.kind() {
            ensure_impl_params_and_item_params_correspond(