It does carry an outer pointer, good catch:

```
Greks-MBP:build grek (undoPairs)$ javap -private './quick/classes/reflect/scala/reflect/internal/tpe/TypeConstraints$UndoPair'
Compiled from "TypeConstraints.scala"
public final class scala.reflect.internal.tpe.TypeConstraints$UndoPair extends java.lang.Object implements scala.Product,scala.Serializable{
    private final scala.reflect.internal.Types$TypeVar tv;
    private final scala.reflect.internal.tpe.TypeConstraints$TypeConstraint tConstraint;
    private final scala.reflect.internal.SymbolTable $outer;
```

I'll rework this PR.