1 error[E0277]: the trait bound `(dyn ToString + 'static): Default` is not satisfied
2 --> $DIR/issue-43924.rs:7:45
4 LL | type Out: Default + ToString + ?Sized = dyn ToString;
5 | ^^^^^^^^^^^^ the trait `Default` is not implemented for `(dyn ToString + 'static)`
7 note: required by a bound in `Foo::Out`
8 --> $DIR/issue-43924.rs:7:15
10 LL | type Out: Default + ToString + ?Sized = dyn ToString;
11 | ^^^^^^^ required by this bound in `Foo::Out`
13 error[E0599]: no function or associated item named `default` found for trait object `(dyn ToString + 'static)` in the current scope
14 --> $DIR/issue-43924.rs:14:39
16 LL | assert_eq!(<() as Foo<u32>>::Out::default().to_string(), "false");
17 | ^^^^^^^ function or associated item not found in `(dyn ToString + 'static)`
19 error: aborting due to 2 previous errors
21 Some errors have detailed explanations: E0277, E0599.
22 For more information about an error, try `rustc --explain E0277`.