/kt47986_3.fir.kt:(181,189): error: Not enough information to infer type variable K
