Sign in
fuchsia
/
third_party
/
rust
/
11a0b968c287c81680387ffcf112328d52d7e815
/
.
/
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
);
}