regression: compare from subclass field to superclass object flagged by compiler

Given classes such as:
abstract class Base

class Fact

and the rule
rule x
when
$base: Base( ... )
Fact( subA == $base )
then end
the compiler refuses to compile:
[Error: incompatible types in statement: class Base (compared from: class SubA)]

This works in 5.1.1!