{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            TyDefId::TypeAliasId(id) => id.into(),
        TyBuilder::subst_for_def(db, id, parent_subst).with_data(poly_ty)