CA006 - Object test typing not needed

Description

In an object test if the expression conforms to the specified type, that type is redundant.

Scope feature
Status Enabled
Severity Suggestion
Applicability All
Score 40

Example of violation

s: STRING_32 ... if attached {READABLE_STRING_GENERAL} s as l_s then l_s.do_something end

Recommendation

Remove the specified type in the object test.

In the example, it can simply be: if attached s as l_sl then l_s.do_something end