Asserts that properties have type specified by type parameter T.
Asserts that properties in this assertion scope have the type specified by T.