Sign in
fuchsia
/
third_party
/
rust
/
b53a1b38089f30a34d932ad4030f3d529664c9df
/
.
/
tests
/
ui
/
const-generics
/
associated-type-bound-fail.rs
blob: 937b8bcb6305785ca14706a7beae97dae48ad970 [
file
] [
log
] [
blame
]
trait
Bar
<
const
N
:
usize
>
{}
trait
Foo
<
const
N
:
usize
>
{
type
Assoc
:
Bar
<
N
>;
}
impl
Bar
<
3
>
for
u16
{}
impl
<
const
N
:
usize
>
Foo
<
N
>
for
i16
{
type
Assoc
=
u16
;
//~ ERROR the trait bound `u16: Bar<N>`
}
fn
main
()
{}