All types are subtypes of UnknownType

Issue #200 resolved
Jesper Öqvist created an issue

ExtendJ 8.0.1-167-g94430ce Java SE 8

The subtype equation for UnknownType defines all types as subtypes of UnknownType.

This was originally done to avoid type additional errors resulting from some other root error, however it can mask errors in the type analysis and make some expressions that did not type-check correctly appear to be well-typed.

The relevant equation is around line 500 in java5/frontend/GenericsSubtype.jrag:

  eq UnknownType.subtype(TypeDecl type) = true;

Comments (1)

  1. Log in to comment