FILE: functionWithImplicitType.kt
    public final [BODY_RESOLVE] fun <[BODY_RESOLVE] T> checkSubtype([BODY_RESOLVE] t: R|T|): R|T| {
        ^checkSubtype R|<local>/t|
    }
    public final [BODY_RESOLVE] val ab: R|kotlin/collections/List<kotlin/Int>?| = R|/checkSubtype|<R|kotlin/collections/List<kotlin/Int>?|>(<Unresolved name: Collections>#.<Unresolved name: emptyList>#<R|kotlin/Int|>())
        public [BODY_RESOLVE] get(): R|kotlin/collections/List<kotlin/Int>?|
