[nem-bug] [Nemerle 0000723]: "Typing fails on ambiguity between overloads" for correct code

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=723> 
======================================================================
Reported By:                OysterDva
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   723
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             07-30-2006 13:19 CEST
Last Modified:              12-01-2006 14:25 CET
======================================================================
Summary:                    "Typing fails on ambiguity between overloads" for
correct code
Description: 
If class has field (probably property also) with the same name as type of
this field and there is a code in class which tries to execute method on
the field, this results in the "Typing fails on ambiguity between
overloads" error message.

Here is a simple code which reproduces the problem:

class X1
{
  public M() : void {}
}

class X2
{
  public X1 : X1 = X1();
  public K() : void
  {
    X1.M()
  }
}

_ = 1
======================================================================

----------------------------------------------------------------------
 malekith - 12-01-06 14:25 
----------------------------------------------------------------------
Resolved in 7034

Issue History
Date Modified  Username       Field                    Change              
======================================================================
07-30-06 13:19 OysterDva      New Issue                                    
12-01-06 14:25 malekith       Status                   new => resolved     
12-01-06 14:25 malekith       Resolution               open => fixed       
12-01-06 14:25 malekith       Assigned To               => malekith        
12-01-06 14:25 malekith       Note Added: 0001542                          
======================================================================