| registerCorrespondance(ResolvedType, ResolvedType) |  | 0% | | 0% | 43 | 43 | 96 | 96 | 1 | 1 |
| placeInferenceVariables(ResolvedType) | | 0% | | 0% | 12 | 12 | 23 | 23 | 1 | 1 |
| resolve(ResolvedType) | | 0% | | 0% | 10 | 10 | 16 | 16 | 1 | 1 |
| inferenceVariableTypeForTp(ResolvedTypeParameterDeclaration) | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| InferenceContext(TypeSolver) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| addPair(ResolvedType, ResolvedType) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| lambda$registerCorrespondance$2(String, ResolvedReferenceType) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$registerCorrespondance$1(String, ResolvedReferenceType) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| addSingle(ResolvedType) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$resolve$4(ResolvedType) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$placeInferenceVariables$3(ResolvedType) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$registerCorrespondance$0(ResolvedReferenceType) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |