Java，102 95 89 88 78字节
class A<T>{}class B<T>extends A<A<?super B<B<T>>>>{A<?super B<A>>a=new B<>();}
这以a终止，StackOverflowError因为通用解析系统无法确定用于解析其他通用名称的根。
学分在哪里。
这里会发生什么？
A<T>仅在那里有一个1字母的父母。这是通用的。我本可以使用的List，但是4个字母的导入和重复太长了。B<T> 声明一个基本的泛型。B extends A必须具有B和之间的层次结构A。extends A<A>在上创建自我参考A<T>。A<? super B> 触发对泛型的查找 A<T>B<B<T>>在创建一个自引用B<T>。A<...> a=new B<>()强制使用泛型，而不是简单地定义泛型，在编译B时（而非之后）强制执行解析。A<?super B创建一个非自我引用，因此在的泛型中我们同时引用了一种类型和另一种类型A。B<A>创建一个非自我引用，因此在的泛型中我们同时引用了一种类型和另一种类型B。
现在，该类型A具有泛型类型A和B，但是要选择哪个呢？忘记自我，让我们尝试解决B。平安
好，B具有泛型类型A和B，但它是被选择？忘记自我，让我们尝试解决A。傍
确实无法避免这种递归，因为存在合法的情况，例如A<B<A<B<A<B<Object>>>>>>：例如JSON对象：List<Map<String,Map<String,List<Map<String,List<String>>>>>>。
编译结果
$ javac NoCompile.java
The system is out of resources.
Consult the following stack trace for details.
java.lang.StackOverflowError
at com.sun.tools.javac.code.Types$UnaryVisitor.visit(Types.java:3260)
at com.sun.tools.javac.code.Types$23.visitClassType(Types.java:2587)
at com.sun.tools.javac.code.Types$23.visitClassType(Types.java:2579)
at com.sun.tools.javac.code.Type$ClassType.accept(Type.java:554)
at com.sun.tools.javac.code.Types$UnaryVisitor.visit(Types.java:3260)
at com.sun.tools.javac.code.Types$23.visitClassType(Types.java:2592)
at com.sun.tools.javac.code.Types$23.visitClassType(Types.java:2579)
at com.sun.tools.javac.code.Type$ClassType.accept(Type.java:554)
在我的系统上，堆栈跟踪在显示1024行之后停止，实际上这4条相同的行重复了256次，因此证明了无限递归。我会全力以赴。
积蓄
- 102→95字节：用
interface+ implements替换class+ extends。
- 95→89字节：替换
Long为A（两次）。
- 89→88字节：使用的菱形运算符（
new B<A>()→ new B<>()）。
- 88→78个字节：由于VoteToClose，将变量声明移至类成员。