Add ITraitInfo constraint to Requires<T>