{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":".intern(Interner),"}]}
                            .intern(Interner),
                        ty: TyKind::BoundVar(BoundVar { debruijn: DebruijnIndex::ONE, index: 0 })
                    });