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