#![allow(unreachable_code)]


fn main() {
    println!("{:?}", {
        [Box::new::<std::fmt::Display>(5), Box::new("Hello"), Box::new([5, 6, 7])]
    });
}


/* ~~~~=== stderr ===~~~~
   Compiling playground v0.0.1 (/playground)
error[E0107]: wrong number of type arguments: expected 0, found 1
 --> src/main.rs:6:21
  |
6 |         [Box::new::<std::fmt::Display>(5), Box::new("Hello"), Box::new([5, 6, 7])]
  |                     ^^^^^^^^^^^^^^^^^ unexpected type argument

error[E0308]: mismatched types
 --> src/main.rs:6:53
  |
6 |         [Box::new::<std::fmt::Display>(5), Box::new("Hello"), Box::new([5, 6, 7])]
  |                                                     ^^^^^^^ expected integer, found reference
  |
  = note: expected type `{integer}`
             found type `&'static str`

error[E0308]: mismatched types
 --> src/main.rs:6:72
  |
6 |         [Box::new::<std::fmt::Display>(5), Box::new("Hello"), Box::new([5, 6, 7])]
  |                                                                        ^^^^^^^^^ expected integer, found array of 3 elements
  |
  = note: expected type `{integer}`
             found type `[{integer}; 3]`

error: aborting due to 3 previous errors

Some errors occurred: E0107, E0308.
For more information about an error, try `rustc --explain E0107`.
error: Could not compile `playground`.

To learn more, run the command again with --verbose.

*/

/* ~~~~=== stdout ===~~~~

*/