asserts in DBTypeSpec