<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html>
<head>
	<link rel="stylesheet" type="text/css" href="http://oldforge.etsi.org/mantis/css/default.css" />
	<script type="text/javascript"><!--
		if(document.layers) {document.write("<style>td{padding:0px;}<\/style>")}
	// --></script>
	<meta http-equiv="Content-type" content="text/html; charset=utf-8" />
	<meta http-equiv="Pragma" content="no-cache" />
	<meta http-equiv="Cache-Control" content="no-cache" />
	<meta http-equiv="Pragma-directive" content="no-cache" />
	<meta http-equiv="Cache-Directive" content="no-cache" />
	<meta http-equiv="Expires" content="Tue, 17 Dec 2024 09:14:24 GMT" />
	<link rel="shortcut icon" href="/mantis/images/favicon.ico" type="image/x-icon" />
	<link rel="search" type="application/opensearchdescription+xml" title="MantisBT: Text Search" href="http://oldforge.etsi.org/mantis/browser_search_plugin.php?type=text" />	<link rel="search" type="application/opensearchdescription+xml" title="MantisBT: Issue Id" href="http://oldforge.etsi.org/mantis/browser_search_plugin.php?type=id" />	<title>0008104: Automatic type inference - ETSI's Bug Tracker</title>
<script type="text/javascript" src="/mantis/javascript/min/common.js"></script>
<script type="text/javascript">var loading_lang = "Loading...";</script><script type="text/javascript" src="/mantis/javascript/min/ajax.js"></script>
</head>
<body>
<br /><table class="width100" cellspacing="1"><tr><td class="form-title" colspan="6"><div class="center">ETSI's Bug Tracker - Part 01: TTCN-3 Core Language</div></td></tr><tr><td class="form-title" colspan="6">View Issue Details</td></tr><tr><td class="print-spacer" colspan="6"><hr size="1" /></td></tr><tr class="print-category"><td class="print" width="16%">ID</td><td class="print" width="16%">Project</td><td class="print" width="16%">Category</td><td class="print" width="16%">View Status</td><td class="print" width="16%">Date Submitted</td><td class="print" width="16%">Last Update</td></tr><tr class="print"><td class="print">0008104</td><td class="print">Part 01: TTCN-3 Core Language</td><td class="print">New Feature</td><td class="print">public</td><td class="print">09-08-2022 16:32</td><td class="print">04-01-2023 12:25</td></tr><tr><td class="print-spacer" colspan="6"><hr size="1" /></td></tr><tr class="print"><td class="print-category">Reporter</td><td class="print">Matthias Simon</td><td class="print" colspan="4">&#160;</td></tr><tr class="print"><td class="print-category">Assigned To</td><td class="print">Jens Grabowski</td><td class="print" colspan="4">&#160;</td></tr><tr class="print"><td class="print-category">Priority</td><td class="print">normal</td><td class="print-category">Severity</td><td class="print">minor</td><td class="print-category">Reproducibility</td><td class="print">have not tried</td></tr><tr class="print"><td class="print-category">Status</td><td class="print">closed</td><td class="print-category">Resolution</td><td class="print">fixed</td><td class="print" colspan="2">&#160;</td></tr><tr class="print"><td class="print-category">Platform</td><td class="print"></td><td class="print-category">OS</td><td class="print"></td><td class="print-category">OS Version</td><td class="print"></td></tr><tr class="print"><td class="print-category">Product Version</td><td class="print"></td><td class="print" colspan="4">&#160;</td></tr><tr><td class="print-category">Target Version</td><td class="print"></td><td class="print-category">Fixed in Version</td><td class="print"></td><td class="print" colspan="2">&#160;</td></tr><tr class="print"><td class="print-category">Clause Reference(s)</td><td class="print" colspan="4">Core Language Spec</td></tr><tr class="print"><td class="print-category">Source  (company  - Author)</td><td class="print" colspan="4">Nokia - Matthias Simon</td></tr><tr><td class="print-spacer" colspan="6"><hr size="1" /></td></tr><tr class="print"><td class="print-category">Summary</td><td class="print" colspan="5">0008104: Automatic type inference</td></tr><tr class="print"><td class="print-category">Description</td><td class="print" colspan="5">Automatic type inference is a powerful feature where you allow the compiler to infer the type of a declaration by using the special type `auto`.<br />
<br />
Example:<br />
<br />
&#160;&#160;&#160;&#160;var auto u := getUser(&quot;Foo&quot;);<br />
<br />
<br />
Open question: Do we allow `auto` only in declarations or also in formal parameters, return types, nested types and templates?<br />
</td></tr><tr class="print"><td class="print-category">Steps To Reproduce</td><td class="print" colspan="5"></td></tr><tr class="print"><td class="print-category">Additional Information</td><td class="print" colspan="5"></td></tr><tr class="print"><td class="print-category">Tags</td><td class="print" colspan="5">No tags attached.</td></tr><tr class="print"><td class="print-category">Relationships</td><td class="print" colspan="5"></td></tr><tr class="print"><td class="print-category">Attached Files</td><td class="print" colspan="5"><img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif" alt="docx" />&#160;CR8104.docx (309,467) <span class="italic">14-11-2022 12:51</span><br />http://oldforge.etsi.org/mantis/file_download.php?file_id=4081&amp;type=bug<br /><img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif" alt="docx" />&#160;CR8104-2.docx (316,772) <span class="italic">07-12-2022 10:35</span><br />http://oldforge.etsi.org/mantis/file_download.php?file_id=4087&amp;type=bug<br /><img src="http://oldforge.etsi.org/mantis/images/fileicons/doc.gif" alt="docx" />&#160;CR8104-3.docx (317,153) <span class="italic">20-12-2022 09:29</span><br />http://oldforge.etsi.org/mantis/file_download.php?file_id=4107&amp;type=bug</td></tr><tr><td class="print-spacer" colspan="6"><hr size="1" /></td></tr><tr><td class="form-title">Issue History</td></tr><tr class="print-category"><td class="row-category-history">Date Modified</td><td class="row-category-history">Username</td><td class="row-category-history">Field</td><td class="row-category-history">Change</td></tr><tr class="print"><td class="print">09-08-2022 16:32</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=1237">Matthias Simon</a></td><td class="print">New Issue</td><td class="print"></td></tr><tr class="print"><td class="print">16-08-2022 11:06</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens Grabowski</a></td><td class="print">Note Added: 0016217</td><td class="print"></td></tr><tr class="print"><td class="print">16-08-2022 11:06</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens Grabowski</a></td><td class="print">Assigned To</td><td class="print"> =&gt; Tomas Urban</td></tr><tr class="print"><td class="print">16-08-2022 11:06</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens Grabowski</a></td><td class="print">Status</td><td class="print">new =&gt; assigned</td></tr><tr class="print"><td class="print">16-08-2022 14:14</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens Grabowski</a></td><td class="print">Project</td><td class="print">TTCN-3 Change Requests =&gt; Part 01: TTCN-3 Core Language</td></tr><tr class="print"><td class="print">11-11-2022 12:30</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens Grabowski</a></td><td class="print">Note Added: 0016311</td><td class="print"></td></tr><tr class="print"><td class="print">14-11-2022 12:51</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">File Added: CR8104.docx</td><td class="print"></td></tr><tr class="print"><td class="print">14-11-2022 12:53</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">Note Added: 0016314</td><td class="print"></td></tr><tr class="print"><td class="print">14-11-2022 12:53</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">Assigned To</td><td class="print">Tomas Urban =&gt; Jens Grabowski</td></tr><tr class="print"><td class="print">14-11-2022 12:53</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">Status</td><td class="print">assigned =&gt; confirmed</td></tr><tr class="print"><td class="print">14-11-2022 19:46</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=1237">Matthias Simon</a></td><td class="print">Note Added: 0016315</td><td class="print"></td></tr><tr class="print"><td class="print">06-12-2022 12:57</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=1237">Matthias Simon</a></td><td class="print">Assigned To</td><td class="print">Jens Grabowski =&gt; Tomas Urban</td></tr><tr class="print"><td class="print">06-12-2022 12:57</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=1237">Matthias Simon</a></td><td class="print">Status</td><td class="print">confirmed =&gt; assigned</td></tr><tr class="print"><td class="print">07-12-2022 10:35</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">File Added: CR8104-2.docx</td><td class="print"></td></tr><tr class="print"><td class="print">07-12-2022 10:53</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">Note Added: 0016369</td><td class="print"></td></tr><tr class="print"><td class="print">07-12-2022 10:53</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">Assigned To</td><td class="print">Tomas Urban =&gt; Matthias Simon</td></tr><tr class="print"><td class="print">07-12-2022 10:53</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">Status</td><td class="print">assigned =&gt; confirmed</td></tr><tr class="print"><td class="print">12-12-2022 08:39</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=1237">Matthias Simon</a></td><td class="print">Note Added: 0016381</td><td class="print"></td></tr><tr class="print"><td class="print">12-12-2022 08:39</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=1237">Matthias Simon</a></td><td class="print">Assigned To</td><td class="print">Matthias Simon =&gt; Tomas Urban</td></tr><tr class="print"><td class="print">12-12-2022 08:39</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=1237">Matthias Simon</a></td><td class="print">Status</td><td class="print">confirmed =&gt; assigned</td></tr><tr class="print"><td class="print">20-12-2022 09:28</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">File Added: CR-8105-3.docx</td><td class="print"></td></tr><tr class="print"><td class="print">20-12-2022 09:29</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">File Deleted: CR-8105-3.docx</td><td class="print"></td></tr><tr class="print"><td class="print">20-12-2022 09:29</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">File Added: CR8104-3.docx</td><td class="print"></td></tr><tr class="print"><td class="print">20-12-2022 09:36</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">Note Added: 0016432</td><td class="print"></td></tr><tr class="print"><td class="print">20-12-2022 09:36</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">Assigned To</td><td class="print">Tomas Urban =&gt; Matthias Simon</td></tr><tr class="print"><td class="print">20-12-2022 09:36</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a></td><td class="print">Status</td><td class="print">assigned =&gt; confirmed</td></tr><tr class="print"><td class="print">20-12-2022 11:02</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=1237">Matthias Simon</a></td><td class="print">Status</td><td class="print">confirmed =&gt; resolved</td></tr><tr class="print"><td class="print">20-12-2022 11:02</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=1237">Matthias Simon</a></td><td class="print">Resolution</td><td class="print">open =&gt; fixed</td></tr><tr class="print"><td class="print">20-12-2022 11:02</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=1237">Matthias Simon</a></td><td class="print">Assigned To</td><td class="print">Matthias Simon =&gt; Jens Grabowski</td></tr><tr class="print"><td class="print">04-01-2023 12:25</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens Grabowski</a></td><td class="print">Note Added: 0016465</td><td class="print"></td></tr><tr class="print"><td class="print">04-01-2023 12:25</td><td class="print"><a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens Grabowski</a></td><td class="print">Status</td><td class="print">resolved =&gt; closed</td></tr></table>
<br />
<table class="width100" cellspacing="1">
<tr>
	<td class="form-title" colspan="2">
		Notes	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0016217)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens Grabowski</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				16-08-2022 11:06&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				TTF discussion: Interesting feature. Details need to be studied. Possible restriction: Auto-feature are restricted to var, const, (maybe) module parameter. Usage for templates may require further discussions.			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0016311)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens Grabowski</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				11-11-2022 12:30&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				TTF discussion: We introduce the feature for var, const and module parameter.			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0016314)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				14-11-2022 12:53&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				The first version of the resolution uploaded. Please check and let me know what should be changed or added.			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0016315)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=1237">Matthias Simon</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				14-11-2022 19:46&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				Explaining this feature in the glossary is a great idea.<br />
<br />
&gt; 6.5. Automatic Type<br />
&gt; The expression or template body shall be one of the following...<br />
&gt; a) Reference to ...<br />
Does this also include enumerated values?<br />
<br />
&gt; a) Reference to an [...] parameter<br />
Probably timers should be excluded:<br />
<br />
&#160;&#160;&#160;&#160;function f(timer t) {<br />
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;var t2 := t;<br />
&#160;&#160;&#160;&#160;}<br />
<br />
How about ports?<br />
<br />
&gt; b) Function call returning a value.<br />
Does this include macros, predefined functions and operations (`__LINE__`, `int2str`, `match`, `create`, ...)?<br />
<br />
&gt; d) Literal of ...<br />
What about verdict literals and inline templates?<br />
<br />
&gt; g) Field assignment notation<br />
Composite literals with field assignment notation create a anonymous records? Example:<br />
<br />
&#160;&#160;&#160;&#160;module M {<br />
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;type record Point { integer x, integer y }<br />
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;control {<br />
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;var p := { x := 23, y := 5 }; // Interred type is not &quot;Point&quot;, but &quot;record { integer x, integer y }&quot;<br />
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;}<br />
&#160;&#160;&#160;&#160;} <br />
<br />
Did I understand this correctly? <br />
<br />
How do unions fit into this picture? <br />
<br />
I found some examples where function argument type inference is be necessary:<br />
<br />
&#160;&#160;&#160;&#160;var a := replace('00000110'B, 1, 3, '111'B),   // type is bitstring<br />
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;b := replace(&quot;My name is JJ&quot;, 13, 0, &quot;xx&quot;) // type is charstring<br />
<br />
<br />
How do we distinguish between list of templates and expressions?<br />
Example:<br />
<br />
&#160;&#160;&#160;&#160;var a := (1,2,3)  // Okay: list of integer templates<br />
&#160;&#160;&#160;&#160;var b := (1+2*3)  // Okay: integer<br />
&#160;&#160;&#160;&#160;var c := (1)      // Error or integer?<br />
<br />
<br />
&gt; // automatic type: map from charst[r]ing to float<br />
Typo in examples.<br />
<br />
<br />
I noticed you replaced `Type` with `[TypeOrNestedTypeDef]`. Is the nested types on purpose?<br />
<br />
&gt; the ArrayDef part shall be missing as well<br />
Why should be array part be omitted? Seems to me not necessary:<br />
<br />
&#160;&#160;&#160;&#160;var a[] := {1,2,3} // a is an integer array of length 3			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0016369)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				07-12-2022 10:53&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				New version uploaded, please check.<br />
I addressed several issues: missing enumerated items, verdict literals, inline templates and TTCN-3 operators.<br />
<br />
The following issues were not necessary to address in the draft:<br />
1. As timer an port variables, constants and module parameters (with an explicitly specified type) are supported, there's no reason to restrict these type in automatic typing.<br />
2. Preprocessor macros are conversted into charstring literals before compilation and then the rule f. is used<br />
3. Composite literals create indeed anonymous records<br />
4. (Anonymous) unions cannot be created by automatic typing as the notation is equal to a record with a single field<br />
5. List of templates and an expression inside parenthesis are syntactically equal. The current proposal doesn't address this issue explicitly, but it is implicitly assumed the this kind of construction will be resolved as an expression.<br />
6. The array notation [] (i.e. without dimensions) is definitely an interesting feature, but it would require more changes in the specification, because typed variables could also use automatic dimensions. I guess that is a topic for another CR.			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0016381)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=1237">Matthias Simon</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				12-12-2022 08:39&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				&gt; p) Superset and subset [...] provide an [...] record of <br />
<br />
I think the type of superset, subset, permutation, ... should be &quot;template of set of {element type}&quot;.<br />
<br />
<br />
&gt; where all items are of the same type as the first item<br />
<br />
We could phrase this requirement slightly different and allow cases where the first element has no concrete (or a misleading) type, such as:<br />
&#160;&#160;1) {&quot;Ilusat&quot;, &quot;päeva!&quot;} // record of universal charstring<br />
&#160;&#160;2) {1, -, 3} // record of integer<br />
&#160;&#160;3) {-, 2, 3} // record of integer<br />
&#160;&#160;4) (*, 2, 3) // integer template    <br />
<br />
How about &quot;where all items have a common type&quot;?<br />
<br />
<br />
I have some questions about template variables. Are these all template variables with integer type:<br />
<br />
&#160;&#160;&#160;&#160;var template a := integer:?;<br />
&#160;&#160;&#160;&#160;var template b := 1;<br />
&#160;&#160;&#160;&#160;var value c := 1;<br />
&#160;&#160;&#160;&#160;var d := integer:?;			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0016432)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=659">Tomas Urban</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				20-12-2022 09:36&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				I fixed the issue with superset/subset and changed the text so that the expression &quot;have a common type&quot; is used wherever possible. That was an excellent suggestion and it makes the rules much simpler.<br />
Regarding the last question, my opinion is that according to the proposed rules the keyword &quot;template&quot; is still mandatory, i.e. if you try to assign a matching symbol to a non-template automatic variable, you will get an error. Nevertheless, I am open to a discussion in this case, but I think such a change would require a different CR. 			</td>
		</tr>
		</table>
	</td>
</tr>
<tr>
	<td class="print-spacer" colspan="2">
		<hr size="1" />
	</td>
</tr>
<tr>
	<td class="nopad" valign="top" width="20%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				(0016465)
			</td>
		</tr>
		<tr>
			<td class="print">
				<a href="http://oldforge.etsi.org/mantis/view_user_page.php?id=82">Jens Grabowski</a>&#160;&#160;&#160;
			</td>
		</tr>
		<tr>
			<td class="print">
				04-01-2023 12:25&#160;&#160;&#160;
							</td>
		</tr>
		</table>
	</td>
	<td class="nopad" valign="top" width="85%">
		<table class="hide" cellspacing="1">
		<tr>
			<td class="print">
				Implemented according to the resolution.			</td>
		</tr>
		</table>
	</td>
</tr>
</table>
</body>
</html>
