Sign in
fuchsia
/
third_party
/
github.com
/
rust-lang
/
rust
/
5f62a35bae82dd0c5ff9dedd83fe2cfd74b67792
/
.
/
tests
/
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
]
=
[];
}