Sign in
fuchsia
/
third_party
/
rust
/
d2b0555964913073a2680739e8678bab4b7850ed
/
.
/
tests
/
ui
/
mismatched_types
/
normalize-fn-sig.rs
blob: 1a2093c44f02e721c493e553fe3f7a3ae29b263e [
file
] [
log
] [
blame
]
trait
Foo
{
type
Bar
;
}
impl
<
T
>
Foo
for
T
{
type
Bar
=
i32
;
}
fn
foo
<
T
>(
_
:
<
T
as
Foo
>::
Bar
,
_
:
&
'
static
<
T
as
Foo
>::
Bar
)
{}
fn
needs_i32_ref_fn
(
_
:
fn
(&
'
static
i32
,
i32
))
{}
fn
main
()
{
needs_i32_ref_fn
(
foo
::<()>);
//~^ ERROR mismatched types
}