Another test showing a possible bug;  Recursive members are always checked
against Subjects's runtime type rather than the declared type