Changes between Initial Version and Version 1 of Ticket #194
- Timestamp:
- Nov 5, 2020, 8:24:47 PM (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #194 – Description
initial v1 15 15 This should not be ambiguous, one side is an exact match. 16 16 This must be either unambiguous or an error to define both 17 18 The reported ambiguity is between: 19 20 foo1 with T as int (return is T*, which is int*, assigned into int* variable) 21 22 foo2 with T as int* (return is T&, which is int*&, assigned into int* variable) 23 24 The reported cost is ( 0, 0, 0, 0, 1, 0, 0 ). It is surprising that the second case, which we wish to reject, has a zero reference-cost element (last position). It seems that assignment from X& to X should count one change of reference level.