Compile time str eq

const_str_check.rs

use const_str;

pub trait Foo {
    const ID: &'static str;
}

struct A;
struct B;

impl Foo for A {
    const ID: &'static str = "A";
}

impl Foo for B {
    const ID: &'static str = "B";
}

pub const fn unique_ids(to_check: &[&'static str]) -> bool {
    let mut i: usize = 0;
    let mut j: usize = 1;
    while i < to_check.len() - 1 {
        if const_str::equal!(to_check[i], to_check[j]) {
            return false;
        }
        j += 1;
        if j >= to_check.len() {
            i += 1;
        }
    }
    true
}

const fn assert_ids() {
    const _: () = assert!(unique_ids(&[A::ID, B::ID]));
}

fn main() {
    assert_ids();
    println!("Compiles successfully!");
}