Typechecking variables of type structure fails when no member access
Example:
Consider a structure type t (the fields are not important) and a
variable v of type t.
Then, in the Semantic Inspector, tab Verification Pattern, any field,
type in “v == v”.
This yields a type error.
Note that “v.x == v.x” does not.
(from redmine: issue id 1736, created on 2013-09-19, closed on 2014-02-13)