vercel-labs--zerolang/conformance/native/pass/static-interface-static-param.0

type Bytes<static N: usize> {
    items: [N]u8,
    fn first(self: ref<Self>) -> u8 {
        return self.items[0]
    }
}

interface First<T: Type, static N: usize> {
    fn first(self: ref<T>) -> u8
}

fn readFirst<T: First<T, N>, static N: usize>(value: ref<T>) -> u8 {
    return T.first(value)
}

pub fn main(world: World) -> Void raises {
    let bytes: Bytes<4> = Bytes { items: [9, 8, 7, 6] }
    if readFirst<Bytes<4>, 4>(&bytes) == 9 {
        check world.out.write("static interface static param ok\n")
    }
}