1 error: unconstrained opaque type
2 --> $DIR/no_inferrable_concrete_type.rs:7:20
4 LL | pub type Foo = impl Copy;
7 = note: `Foo` must be used in combination with a concrete type within the same module
9 error[E0512]: cannot transmute between types of different sizes, or dependently-sized types
10 --> $DIR/no_inferrable_concrete_type.rs:17:23
12 LL | let _: foo::Foo = std::mem::transmute(0u8);
15 = note: source type: `u8` (8 bits)
16 = note: target type: `Foo` (size can vary because of [type error])
18 error: aborting due to 2 previous errors
20 For more information about this error, try `rustc --explain E0512`.