Function label inference is buggy

[cacay]

The following program should type check but doesn't:

host alice: {A}
host bob: {B}

fun add{⊥<-}(a: int{A}, b: int{B}) {
    val c: int{a ⊔ b} = a + b;
}

fun main() {
   add(5, 10);
}