{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"ty:"}]}
                        ty: TyKind::BoundVar(BoundVar { debruijn: DebruijnIndex::ONE, index: 0 })
                        // The parameter of the opaque type.
                            .intern(Interner),