Sign in
android
/
toolchain
/
rustc
/
5c0824a599f2f1f4dcb9c92edf09f6c1b555988d
/
.
/
tests
/
ui
/
traits
/
new-solver
/
upcast-right-substs.rs
blob: c19c82acf24ffd690b2cd9b23ccc8d29f2a7af49 [
file
] [
log
] [
blame
]
// compile-flags: -Ztrait-solver=next
// check-pass
#![
feature
(
trait_upcasting
)]
trait
Foo
:
Bar
<
i32
>
+
Bar
<
u32
>
{}
trait
Bar
<
T
>
{}
fn
main
()
{
let
x
:
&
dyn
Foo
=
todo
!();
let
y
:
&
dyn
Bar
<
i32
>
=
x
;
let
z
:
&
dyn
Bar
<
u32
>
=
x
;
}