Reports assignments with incompatible types.

Such assignments might result in various runtime exceptions.

Example:


  class A {}
  class B {}

  // incompatible assignment
  A a = new B()