// ĠFILE : ĠFile . kt Ċ package Ġpack Ċ Ċ public Ġopen Ġclass ĠInet Address Impl Ċ Ċ // ĠFILE : ĠMain . kt Ċ package Ġa Ċ Ċ import Ġjava . net .* Ġ// Ġshould Ġnot Ġimport Ġjava . net . Inet Address Impl Ġbecause Ġit 's Ġpackage Ġlocal Ċ import Ġpack .* Ċ Ċ class ĠX Ġ: ĠInet Address Impl () Ġ// Ġshould Ġresolve Ġto Ġour Ġpack . Inet Address Impl Ċ