Ticket #256 (closed enhancement: fixed)

Opened 16 months ago

Last modified 16 months ago

Should warn when lowering is optional/ambiguous

Reported by: stephan Owned by: stephan
Priority: minor Milestone: OTDT_1.3.0_M3
Component: language Version: 1.3.0M2
Keywords: Cc:

Description

Given the caveat in Caveats#Collection.removeseemsbroken the compiler should warn when a lowering translation may be intended but is not inserted because an upcast is sufficient.

Rather than eagerly trying lowering in all situations, the warning might be restricted to situations where the declared type is java.lang.Object, which kind-of corresponds to using raw types where generics should better be used.

Change History

Changed 16 months ago by stephan

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

Specification and implementation in r21597:

  • new paragraph OTJLD §2.2(f), ot-web and deployed in ot.ui.help
  • diagnostic implemented in the compiler
  • diagnostic made configurable: batch, suppress warnings, UI
  • junit tests updated.

New jacks tests are in r21598:

Note: See TracTickets for help on using tickets.