FILE: [ResolvedTo(BODY_RESOLVE)] in.kt
    public final [ResolvedTo(CONTRACTS)] fun foo([ResolvedTo(CONTRACTS)] x: R|kotlin/Int|, [ResolvedTo(CONTRACTS)] y: R|kotlin/Int|, [ResolvedTo(CONTRACTS)] c: R|kotlin/collections/Collection<kotlin/Int>|): <implicit> { LAZY_BLOCK }
