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