Support generic arguments on TypeBounds

This adds support to managing generic arguments within type bounds. Such
as:

```rust
fn test<T: GenericBound<i32>>(a:T) { ... }
```

The interesting piece here is that for any usage of the bounds on T the
items must be substituted with the inherited arguments specified within
the bound.

This fixes the test case from #743 by removing the lifetimes and where
constraint which needs to be implemented in #442. This associated test
case will fail the rust borrow checker but we need a way to work though
bugs in the short term in some senario's.

Fixes #743

0 files changed, 0 insertions, 0 deletions