FILE: functionWithImplicitType.kt
    public final [BODY_RESOLVE] fun <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>?|>(Q|java/util/Collections|.R|java/util/Collections.emptyList|<R|kotlin/Int|>())
        public [BODY_RESOLVE] get(): R|kotlin/collections/List<kotlin/Int>?|
