FILE: user.kt
    public final fun foo(hello: R|hello/Hello|): R|kotlin/String| {
        ^foo D|R|<local>/hello||.R|hello/Hello.msg|
    }
