nandi.uk / gleam
Fork of daniellemaywood.uk/gleam — Wasm codegen work
2
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

Add failing test case

author
frakappa committer
Louis Pilfold date (Jul 25, 2026, 11:41 AM +0100) commit e98ec684 parent a8734d21
+20
+20
compiler-core/src/type_/tests/use_.rs
··· 496 496 "# 497 497 ); 498 498 } 499 + 500 + #[test] 501 + fn discard_pattern_type_annotation_is_checked() { 502 + assert_module_error!( 503 + r#" 504 + pub type Woo(a) { 505 + Woo 506 + } 507 + 508 + pub fn wibble(_f: fn(Woo(a)) -> Nil) -> Woo(a) { 509 + Woo 510 + } 511 + 512 + pub fn main() -> Woo(Int) { 513 + use _: Woo(String) <- wibble() 514 + Nil 515 + } 516 + "# 517 + ); 518 + }