Ticket #72 (new defect)
Opened 20 months ago
Overloading check bug
| Reported by: | sukyoungryu | Owned by: | dr2chase |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | interpreter | Version: | |
| Keywords: | Cc: |
Description
"The Subtype Rule also requires a relationship between the return types of the two declarations. Without such a requirement, a program may violate type safety."
The interpreter does not check the subtype relationship between return types.
Note: See
TracTickets for help on using
tickets.
