Issue #29358: Add postcondition checks on types
1 file changed