Ticket #142 (closed defect: fixed)

Opened 5 months ago

Last modified 5 months ago

spurious errors for team with constructor with declared lifting

Reported by: stephan Owned by: stephan
Priority: major Milestone: OTDT_1.2.1
Component: compiler Version: 1.2.0
Keywords: Cc:

Description

Given this code example:

public team class SuperFoo {
    public class Role {}
    public SuperFoo(Role r) { }
}
public team class Foo extends SuperFoo {
    public class Role playedBy String {}
    public Foo(String as Role r) { 
        super(r);
    }
}

the real compiler finds no error but the CompilationUnitProblemFinder does, resulting in a "small" error marker in the gutter, saying (at position 0):

The constructor SuperFoo() is undefined

Reported by Ralf Müller.

Change History

Changed 5 months ago by stephan

  • status changed from new to closed
  • resolution set to fixed

Test and fix are in r18833.

Note: See TracTickets for help on using tickets.