| error[E0658]: `impl Trait` in type aliases is unstable | |
| --> $DIR/drop_elaboration_with_errors2.rs:5:25 | |
| | | |
| LL | pub type Alias<T> = impl Sized; | |
| | ^^^^^^^^^^ | |
| | | |
| = note: see issue #63063 <https://github.com/rust-lang/rust/issues/63063> for more information | |
| = help: add `#![feature(type_alias_impl_trait)]` to the crate attributes to enable | |
| = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date | |
| error[E0119]: conflicting implementations of trait `Trait<_>` | |
| --> $DIR/drop_elaboration_with_errors2.rs:26:1 | |
| | | |
| LL | impl<T> Trait<T> for T { | |
| | ---------------------- first implementation here | |
| ... | |
| LL | impl<T> Trait<T> for defining_scope::Alias<T> { | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation | |
| error: unconstrained opaque type | |
| --> $DIR/drop_elaboration_with_errors2.rs:5:25 | |
| | | |
| LL | pub type Alias<T> = impl Sized; | |
| | ^^^^^^^^^^ | |
| | | |
| = note: `Alias` must be used in combination with a concrete type within the same crate | |
| error[E0308]: mismatched types | |
| --> $DIR/drop_elaboration_with_errors2.rs:10:9 | |
| | | |
| LL | pub type Alias<T> = impl Sized; | |
| | ---------- the found opaque type | |
| ... | |
| LL | pub fn cast<T>(x: Container<Alias<T>, T>) -> Container<T, T> { | |
| | - expected this type parameter --------------- expected `Container<T, T>` because of return type | |
| LL | x | |
| | ^ expected `Container<T, T>`, found `Container<Alias<T>, T>` | |
| | | |
| = note: expected struct `Container<T, _>` | |
| found struct `Container<Alias<T>, _>` | |
| = help: type parameters must be constrained to match other types | |
| = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters | |
| error: aborting due to 4 previous errors | |
| Some errors have detailed explanations: E0119, E0308, E0658. | |
| For more information about an error, try `rustc --explain E0119`. |