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

32d6e539-9565-14c2-31b1-5a947a6841f9