Changes between Initial Version and Version 1 of Ticket #194


Ignore:
Timestamp:
Nov 5, 2020, 8:24:47 PM (2 years ago)
Author:
mlbrooks
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #194 – Description

    initial v1  
    1515This should not be ambiguous, one side is an exact match.
    1616This must be either unambiguous or an error to define both
     17
     18The reported ambiguity is between:
     19
     20foo1 with T as int  (return is T*, which is int*, assigned into int* variable)
     21
     22foo2 with T as int* (return is T&, which is int*&, assigned into int* variable)
     23
     24The 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.