"BarTrait" is the constraint.

This is monomorphized for every type you pass in, in short.