|
error: unconstrained opaque type
|
|
--> $DIR/no_inferrable_concrete_type.rs:7:20
|
|
|
|
|
LL | pub type Foo = impl Copy;
|
|
| ^^^^^^^^^
|
|
|
|
|
= note: `Foo` must be used in combination with a concrete type within the same module
|
|
|
|
error: aborting due to 1 previous error
|
|
|