Ticket #142 (closed defect: fixed)
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
Note: See
TracTickets for help on using
tickets.
all news
RSS feed