{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"return_type:"}]}
            return_type: TyKind::BoundVar(BoundVar::new(DebruijnIndex::INNERMOST, len - 1))
                .intern(Interner),
                .intern(Interner),