missing assert?

Should there be an assert like this in ResolvingRegisteredTypeSucceeds?