abstract class com.sun.tools.javac.comp.Infer$BestLeafSolver extends com.sun.tools.javac.comp.Infer$LeafSolver
  minor version: 0
  major version: 59
  flags: flags: (0x0420) ACC_SUPER, ACC_ABSTRACT
  this_class: com.sun.tools.javac.comp.Infer$BestLeafSolver
  super_class: com.sun.tools.javac.comp.Infer$LeafSolver
{
  com.sun.tools.javac.util.List<com.sun.tools.javac.code.Type> varsToSolve;
    descriptor: Lcom/sun/tools/javac/util/List;
    flags: (0x0000) 
    Signature: Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;

  final java.util.Map<com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node, com.sun.tools.javac.util.Pair<com.sun.tools.javac.util.List<com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node>, java.lang.Integer>> treeCache;
    descriptor: Ljava/util/Map;
    flags: (0x0010) ACC_FINAL
    Signature: Ljava/util/Map<Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;Lcom/sun/tools/javac/util/Pair<Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;>;Ljava/lang/Integer;>;>;

  final com.sun.tools.javac.util.Pair<com.sun.tools.javac.util.List<com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node>, java.lang.Integer> noPath;
    descriptor: Lcom/sun/tools/javac/util/Pair;
    flags: (0x0010) ACC_FINAL
    Signature: Lcom/sun/tools/javac/util/Pair<Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;>;Ljava/lang/Integer;>;

  final com.sun.tools.javac.comp.Infer this$0;
    descriptor: Lcom/sun/tools/javac/comp/Infer;
    flags: (0x1010) ACC_FINAL, ACC_SYNTHETIC

  void <init>(com.sun.tools.javac.util.List<com.sun.tools.javac.code.Type>);
    descriptor: (Lcom/sun/tools/javac/comp/Infer;Lcom/sun/tools/javac/util/List;)V
    flags: (0x0000) 
    Code:
      stack=5, locals=3, args_size=3
        start local 0 // com.sun.tools.javac.comp.Infer$BestLeafSolver this
        start local 2 // com.sun.tools.javac.util.List varsToSolve
         0: .line 1363
            aload 0 /* this */
            aload 1
            putfield com.sun.tools.javac.comp.Infer$BestLeafSolver.this$0:Lcom/sun/tools/javac/comp/Infer;
            aload 0 /* this */
            aload 1
            invokespecial com.sun.tools.javac.comp.Infer$LeafSolver.<init>:(Lcom/sun/tools/javac/comp/Infer;)V
         1: .line 1398
            aload 0 /* this */
            new java.util.HashMap
            dup
            invokespecial java.util.HashMap.<init>:()V
            putfield com.sun.tools.javac.comp.Infer$BestLeafSolver.treeCache:Ljava/util/Map;
         2: .line 1401
            aload 0 /* this */
            new com.sun.tools.javac.util.Pair
            dup
            aconst_null
            ldc 2147483647
            invokestatic java.lang.Integer.valueOf:(I)Ljava/lang/Integer;
            invokespecial com.sun.tools.javac.util.Pair.<init>:(Ljava/lang/Object;Ljava/lang/Object;)V
            putfield com.sun.tools.javac.comp.Infer$BestLeafSolver.noPath:Lcom/sun/tools/javac/util/Pair;
         3: .line 1364
            aload 0 /* this */
            aload 2 /* varsToSolve */
            putfield com.sun.tools.javac.comp.Infer$BestLeafSolver.varsToSolve:Lcom/sun/tools/javac/util/List;
         4: .line 1365
            return
        end local 2 // com.sun.tools.javac.util.List varsToSolve
        end local 0 // com.sun.tools.javac.comp.Infer$BestLeafSolver this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    5     0         this  Lcom/sun/tools/javac/comp/Infer$BestLeafSolver;
            0    5     2  varsToSolve  Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;
    Signature: (Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;)V
    MethodParameters:
             Name  Flags
      this$0       final
      varsToSolve  

  com.sun.tools.javac.util.Pair<com.sun.tools.javac.util.List<com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node>, java.lang.Integer> computeTreeToLeafs(com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node);
    descriptor: (Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;)Lcom/sun/tools/javac/util/Pair;
    flags: (0x0000) 
    Code:
      stack=5, locals=7, args_size=2
        start local 0 // com.sun.tools.javac.comp.Infer$BestLeafSolver this
        start local 1 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n
         0: .line 1374
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$BestLeafSolver.treeCache:Ljava/util/Map;
            aload 1 /* n */
            invokeinterface java.util.Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast com.sun.tools.javac.util.Pair
            astore 2 /* cachedPath */
        start local 2 // com.sun.tools.javac.util.Pair cachedPath
         1: .line 1375
            aload 2 /* cachedPath */
            ifnonnull 16
         2: .line 1377
            aload 1 /* n */
            invokevirtual com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node.isLeaf:()Z
            ifeq 5
         3: .line 1379
            new com.sun.tools.javac.util.Pair
            dup
            aload 1 /* n */
            invokestatic com.sun.tools.javac.util.List.of:(Ljava/lang/Object;)Lcom/sun/tools/javac/util/List;
            aload 1 /* n */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node.data:Ljava/lang/Object;
            checkcast com.sun.tools.javac.util.ListBuffer
            invokevirtual com.sun.tools.javac.util.ListBuffer.length:()I
            invokestatic java.lang.Integer.valueOf:(I)Ljava/lang/Integer;
            invokespecial com.sun.tools.javac.util.Pair.<init>:(Ljava/lang/Object;Ljava/lang/Object;)V
            astore 2 /* cachedPath */
         4: .line 1380
            goto 15
         5: .line 1382
      StackMap locals: com.sun.tools.javac.util.Pair
      StackMap stack:
            new com.sun.tools.javac.util.Pair
            dup
            aload 1 /* n */
            invokestatic com.sun.tools.javac.util.List.of:(Ljava/lang/Object;)Lcom/sun/tools/javac/util/List;
            aload 1 /* n */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node.data:Ljava/lang/Object;
            checkcast com.sun.tools.javac.util.ListBuffer
            invokevirtual com.sun.tools.javac.util.ListBuffer.length:()I
            invokestatic java.lang.Integer.valueOf:(I)Ljava/lang/Integer;
            invokespecial com.sun.tools.javac.util.Pair.<init>:(Ljava/lang/Object;Ljava/lang/Object;)V
            astore 3 /* path */
        start local 3 // com.sun.tools.javac.util.Pair path
         6: .line 1383
            aload 1 /* n */
            invokevirtual com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node.getAllDependencies:()Ljava/lang/Iterable;
            invokeinterface java.lang.Iterable.iterator:()Ljava/util/Iterator;
            astore 5
            goto 13
      StackMap locals: com.sun.tools.javac.comp.Infer$BestLeafSolver com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node com.sun.tools.javac.util.Pair com.sun.tools.javac.util.Pair top java.util.Iterator
      StackMap stack:
         7: aload 5
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node
            astore 4 /* n2 */
        start local 4 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n2
         8: .line 1384
            aload 4 /* n2 */
            aload 1 /* n */
            if_acmpne 9
            goto 13
         9: .line 1385
      StackMap locals: com.sun.tools.javac.comp.Infer$BestLeafSolver com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node com.sun.tools.javac.util.Pair com.sun.tools.javac.util.Pair com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node java.util.Iterator
      StackMap stack:
            aload 0 /* this */
            aload 4 /* n2 */
            invokevirtual com.sun.tools.javac.comp.Infer$BestLeafSolver.computeTreeToLeafs:(Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;)Lcom/sun/tools/javac/util/Pair;
            astore 6 /* subpath */
        start local 6 // com.sun.tools.javac.util.Pair subpath
        10: .line 1386
            new com.sun.tools.javac.util.Pair
            dup
            aload 3 /* path */
            getfield com.sun.tools.javac.util.Pair.fst:Ljava/lang/Object;
            checkcast com.sun.tools.javac.util.List
            aload 6 /* subpath */
            getfield com.sun.tools.javac.util.Pair.fst:Ljava/lang/Object;
            checkcast com.sun.tools.javac.util.List
            invokevirtual com.sun.tools.javac.util.List.prependList:(Lcom/sun/tools/javac/util/List;)Lcom/sun/tools/javac/util/List;
        11: .line 1387
            aload 3 /* path */
            getfield com.sun.tools.javac.util.Pair.snd:Ljava/lang/Object;
            checkcast java.lang.Integer
            invokevirtual java.lang.Integer.intValue:()I
            aload 6 /* subpath */
            getfield com.sun.tools.javac.util.Pair.snd:Ljava/lang/Object;
            checkcast java.lang.Integer
            invokevirtual java.lang.Integer.intValue:()I
            iadd
            invokestatic java.lang.Integer.valueOf:(I)Ljava/lang/Integer;
        12: .line 1386
            invokespecial com.sun.tools.javac.util.Pair.<init>:(Ljava/lang/Object;Ljava/lang/Object;)V
            astore 3 /* path */
        end local 6 // com.sun.tools.javac.util.Pair subpath
        end local 4 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n2
        13: .line 1383
      StackMap locals: com.sun.tools.javac.comp.Infer$BestLeafSolver com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node com.sun.tools.javac.util.Pair com.sun.tools.javac.util.Pair top java.util.Iterator
      StackMap stack:
            aload 5
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 7
        14: .line 1389
            aload 3 /* path */
            astore 2 /* cachedPath */
        end local 3 // com.sun.tools.javac.util.Pair path
        15: .line 1392
      StackMap locals: com.sun.tools.javac.comp.Infer$BestLeafSolver com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node com.sun.tools.javac.util.Pair
      StackMap stack:
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$BestLeafSolver.treeCache:Ljava/util/Map;
            aload 1 /* n */
            aload 2 /* cachedPath */
            invokeinterface java.util.Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            pop
        16: .line 1394
      StackMap locals:
      StackMap stack:
            aload 2 /* cachedPath */
            areturn
        end local 2 // com.sun.tools.javac.util.Pair cachedPath
        end local 1 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n
        end local 0 // com.sun.tools.javac.comp.Infer$BestLeafSolver this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0   17     0        this  Lcom/sun/tools/javac/comp/Infer$BestLeafSolver;
            0   17     1           n  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
            1   17     2  cachedPath  Lcom/sun/tools/javac/util/Pair<Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;>;Ljava/lang/Integer;>;
            6   15     3        path  Lcom/sun/tools/javac/util/Pair<Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;>;Ljava/lang/Integer;>;
            8   13     4          n2  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
           10   13     6     subpath  Lcom/sun/tools/javac/util/Pair<Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;>;Ljava/lang/Integer;>;
    Signature: (Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;)Lcom/sun/tools/javac/util/Pair<Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;>;Ljava/lang/Integer;>;
    MethodParameters:
      Name  Flags
      n     

  public com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node pickNode(com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph);
    descriptor: (Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph;)Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=6, args_size=2
        start local 0 // com.sun.tools.javac.comp.Infer$BestLeafSolver this
        start local 1 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph g
         0: .line 1408
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$BestLeafSolver.treeCache:Ljava/util/Map;
            invokeinterface java.util.Map.clear:()V
         1: .line 1409
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$BestLeafSolver.noPath:Lcom/sun/tools/javac/util/Pair;
            astore 2 /* bestPath */
        start local 2 // com.sun.tools.javac.util.Pair bestPath
         2: .line 1410
            aload 1 /* g */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph.nodes:Ljava/util/ArrayList;
            invokevirtual java.util.ArrayList.iterator:()Ljava/util/Iterator;
            astore 4
            goto 8
      StackMap locals: com.sun.tools.javac.comp.Infer$BestLeafSolver com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph com.sun.tools.javac.util.Pair top java.util.Iterator
      StackMap stack:
         3: aload 4
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node
            astore 3 /* n */
        start local 3 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n
         4: .line 1411
            aload 3 /* n */
            getfield com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node.data:Ljava/lang/Object;
            checkcast java.util.Collection
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$BestLeafSolver.varsToSolve:Lcom/sun/tools/javac/util/List;
            invokestatic java.util.Collections.disjoint:(Ljava/util/Collection;Ljava/util/Collection;)Z
            ifne 8
         5: .line 1412
            aload 0 /* this */
            aload 3 /* n */
            invokevirtual com.sun.tools.javac.comp.Infer$BestLeafSolver.computeTreeToLeafs:(Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;)Lcom/sun/tools/javac/util/Pair;
            astore 5 /* path */
        start local 5 // com.sun.tools.javac.util.Pair path
         6: .line 1415
            aload 5 /* path */
            getfield com.sun.tools.javac.util.Pair.snd:Ljava/lang/Object;
            checkcast java.lang.Integer
            invokevirtual java.lang.Integer.intValue:()I
            aload 2 /* bestPath */
            getfield com.sun.tools.javac.util.Pair.snd:Ljava/lang/Object;
            checkcast java.lang.Integer
            invokevirtual java.lang.Integer.intValue:()I
            if_icmpge 8
         7: .line 1416
            aload 5 /* path */
            astore 2 /* bestPath */
        end local 5 // com.sun.tools.javac.util.Pair path
        end local 3 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node n
         8: .line 1410
      StackMap locals:
      StackMap stack:
            aload 4
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 3
         9: .line 1420
            aload 2 /* bestPath */
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$BestLeafSolver.noPath:Lcom/sun/tools/javac/util/Pair;
            if_acmpne 11
        10: .line 1422
            new com.sun.tools.javac.comp.Infer$GraphStrategy$NodeNotFoundException
            dup
            aload 1 /* g */
            invokespecial com.sun.tools.javac.comp.Infer$GraphStrategy$NodeNotFoundException.<init>:(Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph;)V
            athrow
        11: .line 1424
      StackMap locals: com.sun.tools.javac.comp.Infer$BestLeafSolver com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph com.sun.tools.javac.util.Pair
      StackMap stack:
            aload 2 /* bestPath */
            getfield com.sun.tools.javac.util.Pair.fst:Ljava/lang/Object;
            checkcast com.sun.tools.javac.util.List
            getfield com.sun.tools.javac.util.List.head:Ljava/lang/Object;
            checkcast com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node
            areturn
        end local 2 // com.sun.tools.javac.util.Pair bestPath
        end local 1 // com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph g
        end local 0 // com.sun.tools.javac.comp.Infer$BestLeafSolver this
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0   12     0      this  Lcom/sun/tools/javac/comp/Infer$BestLeafSolver;
            0   12     1         g  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph;
            2   12     2  bestPath  Lcom/sun/tools/javac/util/Pair<Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;>;Ljava/lang/Integer;>;
            4    8     3         n  Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;
            6    8     5      path  Lcom/sun/tools/javac/util/Pair<Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/comp/Infer$GraphSolver$InferenceGraph$Node;>;Ljava/lang/Integer;>;
    MethodParameters:
      Name  Flags
      g     final
}
SourceFile: "Infer.java"
NestHost: com.sun.tools.javac.comp.Infer
InnerClasses:
  abstract BestLeafSolver = com.sun.tools.javac.comp.Infer$BestLeafSolver of com.sun.tools.javac.comp.Infer
  GraphSolver = com.sun.tools.javac.comp.Infer$GraphSolver of com.sun.tools.javac.comp.Infer
  InferenceGraph = com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph of com.sun.tools.javac.comp.Infer$GraphSolver
  Node = com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph$Node of com.sun.tools.javac.comp.Infer$GraphSolver$InferenceGraph
  abstract GraphStrategy = com.sun.tools.javac.comp.Infer$GraphStrategy of com.sun.tools.javac.comp.Infer
  public NodeNotFoundException = com.sun.tools.javac.comp.Infer$GraphStrategy$NodeNotFoundException of com.sun.tools.javac.comp.Infer$GraphStrategy
  abstract LeafSolver = com.sun.tools.javac.comp.Infer$LeafSolver of com.sun.tools.javac.comp.Infer