| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 65 of 65 | 0% | 12 of 12 | 0% | 16 | 16 | 16 | 16 | 10 | 10 |
| isProperLowerBoundFor(InferenceVariable) | | 0% | | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
| isProperUpperBoundFor(InferenceVariable) | | 0% | | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
| isAnInstantiationFor(InferenceVariable) | | 0% | | 0% | 3 | 3 | 1 | 1 | 1 | 1 |
| Bound() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| falseBound() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isAnInstantiation() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isProperUpperBound() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isProperLowerBound() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isADependency() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isThrowsBoundOn(InferenceVariable) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |