Sign in
fuchsia
/
third_party
/
rust
/
9ae1a664f7b947dadb9e97eea7703831d9cd5d31
/
.
/
src
/
test
/
ui
/
mir
/
mir_call_with_associated_type.rs
blob: 7103533e1da902d52aea65c00584a7333466a26f [
file
] [
log
] [
blame
]
// run-pass
trait
Trait
{
type
Type
;
}
impl
<
'a> Trait for &'
a
()
{
type
Type
=
u32
;
}
fn
foo
<
'a>(t: <&'
a
()
as
Trait
>::
Type
)
->
<&
'
a
()
as
Trait
>::
Type
{
t
}
fn
main
()
{
assert_eq
!(
foo
(
4
),
4
);
}