blob: de3d108f6eec2d7c9ec725dc609e71603f9aee9f [file] [log] [blame]
<!-- conflictingSubstitutions1 -->
<html>
Type inference failed: Cannot infer type parameter <b>T</b> in
<table>
<tr>
<td width="10%"></td>
<td align="right" colspan="2" style="white-space:nowrap;font-weight:bold;"><b>fun</b> <`T, E : Cloneable> writeToMyList</td>
<td style="white-space:nowrap;font-weight:bold;">(</td>
<td align="right" style="white-space:nowrap;font-weight:bold;">l: MyList<`in T>,</td>
<td align="right" style="white-space:nowrap;font-weight:bold;">t: T</td>
<td style="white-space:nowrap;font-weight:bold;">)</td>
<td style="white-space:nowrap;font-weight:bold;">: Unit <b>where</b> E : Closeable</td>
</tr>
<tr>
<td colspan="8" style="white-space:nowrap;">None of the following substitutions</td>
</tr>
<tr>
<td width="10%"></td>
<td style="white-space:nowrap;"></td>
<td style="white-space:nowrap;"></td>
<td style="white-space:nowrap;"><b>(</b></td>
<td align="right" style="white-space:nowrap;"><font color=red><b>MyList<`in Any></b></font><b>,</b></td>
<td align="right" style="white-space:nowrap;"><b>Any</b></td>
<td style="white-space:nowrap;"><b>)</b></td>
</tr>
<tr>
<td width="10%"></td>
<td style="white-space:nowrap;"></td>
<td style="white-space:nowrap;"></td>
<td style="white-space:nowrap;"><b>(</b></td>
<td align="right" style="white-space:nowrap;"><b>MyList<`in Int></b><b>,</b></td>
<td align="right" style="white-space:nowrap;"><font color=red><b>Int</b></font></td>
<td style="white-space:nowrap;"><b>)</b></td>
</tr>
<tr>
<td colspan="8" style="white-space:nowrap;">can be applied to</td>
</tr>
<tr>
<td width="10%"></td>
<td style="white-space:nowrap;"></td>
<td style="white-space:nowrap;"></td>
<td style="white-space:nowrap;"><b>(</b></td>
<td align="right" style="white-space:nowrap;"><b>MyList<`Int></b><b>,</b></td>
<td align="right" style="white-space:nowrap;"><b>Any</b></td>
<td style="white-space:nowrap;"><b>)</b></td>
</tr>
</table>
</html>