Genellenmiş bir yapının parametreleştirilmiş türleri de niteliklerine göre sınırlandırılmış olabilir.
struct BirYapi<T>
where
T: BirOzellik
{
tur: T
...
}
Genellenmiş yapıların uygulama bloklarında, kendi parametreleştirilmiş türleri bulunur:
impl<T> BirYapi<T> {
...
}