Type comparison in strict mode in assert test item strange

[alexanderpann]

While you normally don't compare types with assert statements, I believe the actual expression doesn't have to be a subtype of the expected. Can we change it to weak comparability (:~:) so that it is enough when one of the expressions is a subtype of the other?