FILE: user.kt
    public final function foo(hello: R|hello/Hello|): R|kotlin/String| {
        return@@@foo STUB
    }
