]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/type-alias-impl-trait/multiple-def-uses-in-one-fn.rs
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.
5 #![feature(type_alias_impl_trait)]
7 type X
<A
, B
> = impl Into
<&'
static A
>;
9 fn f
<A
, B
: '
static>(a
: &'
static A
, b
: B
) -> (X
<A
, B
>, X
<B
, A
>) {
11 //~^ ERROR the trait bound `&'static B: From<&A>` is not satisfied
15 println
!("{}", <X
<_
, _
> as Into
<&String
>>::into(f(&[1isize
, 2, 3], String
::new()).1));