Asserts that functions only depend on package of T.
Asserts that properties only depend on package of T.