Test union narrowing in generic function

hylo-lang · Aug 22, 2024 · 29bf165 · 29bf165
1 parent 80ed530
commit 29bf165
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Tests/EndToEndTests/TestCases/UnionNarrowing.hylo b/Tests/EndToEndTests/TestCases/UnionNarrowing.hylo
@@ -1,10 +1,18 @@
 //- compileAndRun expecting: .success
 
+fun f<T: Regular, U: Regular>(_ u: sink Union<T, U>) -> Bool {
+  if let _: T = u { true } else { false }
+}
+
 public fun main() {
   var x: Union<{a: Bool}, {b: Int}> = (b: 42)
   if let y: {b: _} = x {
     precondition(y.0 == 42)
   } else {
     fatal_error()
   }
+
+  precondition(f<Int, Bool>(42 as _))
+  precondition(f<Int, Int>(42 as _))
+  precondition(!f<Int, Bool>(true as _))
 }