Generic bounds on concrete types

[WaDelma]

Normally your generics are form:

fn do_it<T>()
    where T: Add
{}

but you can also have generics of form:

fn do_it()
    where usize: Add

These bounds are sometimes useful for giving type checker more information in hard cases.
(I have encountered these while using typenum)