conf/conf_test.v

11 lines
148 B
Coq
Raw Normal View History

module conf
struct WrongTypeConfig {
2022-12-28 20:04:45 +01:00
f map[string]string
}
fn test_wrong_type() {
2023-02-08 10:40:37 +01:00
conf := load[WrongTypeConfig]() or { return }
assert false
}