tests/ui/resolve/resolve-issue-135614-assoc-const.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

//@ revisions: normal import_trait_associated_functions
#![cfg_attr(import_trait_associated_functions, feature(import_trait_associated_functions))]

// Makes sure that imported constant can be used in pattern bindings.

use MyDefault::DEFAULT; //[normal]~ ERROR `use` associated items of traits is unstable

trait MyDefault {
    const DEFAULT: Self;
}

impl MyDefault for u32 {
    const DEFAULT: u32 = 0;
}

impl MyDefault for () {
    const DEFAULT: () = ();
}

fn foo(x: u32) -> u32 {
    let DEFAULT: u32 = 0; //~ ERROR refutable pattern in local binding
    const DEFAULT: u32 = 0;
    if let DEFAULT = x { DEFAULT } else { 1 }
}

fn bar() {
    let DEFAULT = ();
}

fn main() {}