error[E0277]: a value of type `i32` cannot be built from an iterator over elements of type `i32`
  --> $DIR/type-check-defaults.rs:6:19
   |
LL | struct Foo<T, U: FromIterator<T>>(T, U);
   | ---------------------------------------- required by `Foo`
LL | struct WellFormed<Z = Foo<i32, i32>>(Z);
   |                   ^ value of type `i32` cannot be built from `std::iter::Iterator<Item=i32>`
   |
   = help: the trait `std::iter::FromIterator<i32>` is not implemented for `i32`

error[E0277]: a value of type `i32` cannot be built from an iterator over elements of type `i32`
  --> $DIR/type-check-defaults.rs:8:27
   |
LL | struct Foo<T, U: FromIterator<T>>(T, U);
   | ---------------------------------------- required by `Foo`
...
LL | struct WellFormedNoBounds<Z:?Sized = Foo<i32, i32>>(Z);
   |                           ^ value of type `i32` cannot be built from `std::iter::Iterator<Item=i32>`
   |
   = help: the trait `std::iter::FromIterator<i32>` is not implemented for `i32`

error[E0277]: the trait bound `std::string::String: std::marker::Copy` is not satisfied
  --> $DIR/type-check-defaults.rs:11:17
   |
LL | struct Bounds<T:Copy=String>(T);
   | ----------------^^^^------------
   | |               |
   | |               the trait `std::marker::Copy` is not implemented for `std::string::String`
   | required by `Bounds`

error[E0277]: the trait bound `std::string::String: std::marker::Copy` is not satisfied
  --> $DIR/type-check-defaults.rs:14:42
   |
LL | struct WhereClause<T=String>(T) where T: Copy;
   | -----------------------------------------^^^^-
   | |                                        |
   | |                                        the trait `std::marker::Copy` is not implemented for `std::string::String`
   | required by `WhereClause`

error[E0277]: the trait bound `std::string::String: std::marker::Copy` is not satisfied
  --> $DIR/type-check-defaults.rs:17:20
   |
LL | trait TraitBound<T:Copy=String> {}
   | -------------------^^^^--------
   | |                  |
   | |                  the trait `std::marker::Copy` is not implemented for `std::string::String`
   | required by `TraitBound`

error[E0277]: the trait bound `T: std::marker::Copy` is not satisfied
  --> $DIR/type-check-defaults.rs:21:1
   |
LL | trait Super<T: Copy> { }
   | -------------------- required by `Super`
LL | trait Base<T = String>: Super<T> { }
   | ^^^^^^^^^^^-^^^^^^^^^^^^^^^^^^^^^^^^
   | |          |
   | |          help: consider restricting this bound: `T: std::marker::Copy`
   | the trait `std::marker::Copy` is not implemented for `T`

error[E0277]: cannot add `u8` to `i32`
  --> $DIR/type-check-defaults.rs:24:66
   |
LL | trait ProjectionPred<T:Iterator = IntoIter<i32>> where T::Item : Add<u8> {}
   | -----------------------------------------------------------------^^^^^^^
   | |                                                                |
   | |                                                                no implementation for `i32 + u8`
   | required by `ProjectionPred`
   |
   = help: the trait `std::ops::Add<u8>` is not implemented for `i32`

error: aborting due to 7 previous errors

For more information about this error, try `rustc --explain E0277`.