{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"DefKind::TyAlias"}]}
                DefKind::TyAlias if tcx.type_alias_is_lazy(item_did) => {
                    insert_required_predicates_to_be_wf(