package Ġde . to bi ass ch uer g . p org Ċ Ċ import Ġjava . time . LocalDate Ċ import Ġjava . time . Zone Id Ċ import Ġjava . util .* Ċ Ċ fun ĠDate . to LocalDate (): ĠLocalDate Ġ{ ĊĠĠĠ Ġreturn Ġthis . to Instant () ĊĠĠĠĠĠĠĠ Ġ. at Zone ( Zone Id . system Default ()) ĊĠĠĠĠĠĠĠ Ġ. to LocalDate () Ċ }