]>
Commit | Line | Data |
---|---|---|
5e7ed085 FG |
1 | // https://github.com/rust-lang/rust/issues/73481 |
2 | // This test used to cause unsoundness, since one of the two possible | |
3 | // resolutions was chosen at random instead of erroring due to conflicts. | |
4 | ||
5 | #![feature(type_alias_impl_trait)] | |
6 | ||
7 | type Y<A, B> = impl std::fmt::Debug; | |
8 | ||
9 | fn g<A, B>() -> (Y<A, B>, Y<B, A>) { | |
10 | (42_i64, 60) //~ ERROR concrete type differs from previous defining opaque type use | |
11 | } | |
12 | ||
13 | fn main() {} |