| lub(Set) |  | 0% |  | 0% | 9 | 9 | 33 | 33 | 1 | 1 |
| leastContainingParameterization(ResolvedType, ResolvedType) |  | 0% |  | 0% | 6 | 6 | 12 | 12 | 1 | 1 |
| mentionsTypeVariableOutOfScope(ResolvedType, Set) |  | 0% |  | 0% | 9 | 9 | 16 | 16 | 1 | 1 |
| lctaBothWildcards(ResolvedWildcard, ResolvedWildcard) |  | 0% |  | 0% | 7 | 7 | 9 | 9 | 1 | 1 |
| supertypes(ResolvedReferenceType) |  | 0% |  | 0% | 6 | 6 | 12 | 12 | 1 | 1 |
| lcta(ResolvedType, ResolvedType) |  | 0% |  | 0% | 7 | 7 | 13 | 13 | 1 | 1 |
| lctaOneWildcard(ResolvedType, ResolvedWildcard) |  | 0% |  | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| filterEnumType(Set) |  | 0% |  | 0% | 4 | 4 | 15 | 15 | 1 | 1 |
| supertypes(ResolvedArrayType) |  | 0% |  | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| leastContainingParameterization(List) |  | 0% |  | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| relevantParameterizations(List, List) |  | 0% |  | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
| lambda$best$8(ResolvedType, ResolvedType) |  | 0% |  | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
| supertypes(ResolvedType) |  | 0% |  | 0% | 4 | 4 | 4 | 4 | 1 | 1 |
| supertypes(ResolvedTypeVariable) |  | 0% |  | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| substituteType(ResolvedType, LeastUpperBoundLogic.TypeSubstitution) |  | 0% |  | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| bound(ResolvedType, ResolvedWildcard.BoundType) |  | 0% |  | 0% | 7 | 7 | 5 | 5 | 1 | 1 |
| minimalCandidates(List) |  | 0% |  | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| typeVariableContainers(ResolvedReferenceType) |  | 0% |  | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| isSubstituable(ResolvedType) |  | 0% |  | 0% | 5 | 5 | 4 | 4 | 1 | 1 |
| boundedAsObject(ResolvedTypeParameterDeclaration) |  | 0% |  | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| lctaNoWildcard(ResolvedType, ResolvedType) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| isEnum(ResolvedType) |  | 0% |  | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| isArrayOfReferenceType(ResolvedType) |  | 0% |  | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| intersection(List) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$minimalCandidates$7(ResolvedType, ResolvedType) |  | 0% |  | 0% | 3 | 3 | 1 | 1 | 1 | 1 |
| LeastUpperBoundLogic(TypeSolver) |  | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| concreteType(ResolvedType) |  | 0% |  | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| isJavaLangObject(ResolvedType) |  | 0% |  | 0% | 3 | 3 | 1 | 1 | 1 | 1 |
| supertypes(Set) |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| union(List) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| substitution(List) |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| lambda$substitution$9(LeastUpperBoundLogic.TypeSubstitution, Pair) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$erased$6(Set) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$supertypes$3(ResolvedType) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| erased(List) |  | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| best(List) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$supertypes$4(Set, ResolvedType) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$lub$0(ResolvedType) |  | 0% |  | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| toSet(ResolvedType[]) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| of() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| of(TypeSolver) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$mentionsTypeVariableOutOfScope$5(Set, ResolvedType) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$lub$2(ResolvedType) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$lub$1(ResolvedType) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |