if I annotate a type upper bound, does that actual...

# announcements

[mikehearn]

if I annotate a type upper bound, does that actually mean anything? could the compiler actually check that types passed as that type parameter have the given annotation?