fun box(): String { val map: MutableMap = mutableMapOf() val fn: Fun = local fun (it: @FlexibleNullability String?): @FlexibleNullability String? { return TODO() } /*-> Fun */ return map.computeIfAbsent(p0 = fn, p1 = local fun (it: @EnhancedNullability Fun): @EnhancedNullability String { return "OK" } /*as Function1<@EnhancedNullability Any?, @EnhancedNullability String> */ /*-> @EnhancedNullability Function */) /*!! String */ }