Sign in
fuchsia
/
third_party
/
rust
/
a10a02bf5fd00e4b34f1856af17d058dd5ec06f0
/
.
/
src
/
test
/
ui
/
consts
/
issue-70942-trait-vs-impl-mismatch.rs
blob: b65f5345034e5f280afcb9d6c18dac5d4af3d378 [
file
] [
log
] [
blame
]
trait
Nat
{
const
VALUE
:
usize
;
}
struct
Zero
;
impl
Nat
for
Zero
{
const
VALUE
:
i32
=
0
;
//~^ ERROR implemented const `VALUE` has an incompatible type for trait
}
fn
main
()
{
let
_
:
[
i32
;
Zero
::
VALUE
]
=
[];
}