// Ġ! LANGUAGE : Ġ+ New Inference Ċ Ċ class ĠD TO Ġ{ ĊĠĠĠ Ġval Ġq : ĠInt Ġ= Ġ 0 ĊĠĠĠ Ġoperator Ġfun Ġget ( prop : Ġ<! UN RESOL VED _ REFERENCE !> K Property 1 <! >< *, ĠInt >): ĠInt Ġ= Ġ 0 Ċ } Ċ Ċ fun Ġfoo ( int DTO : ĠD TO ?, Ġp : Ġ<! UN RESOL VED _ REFERENCE !> K Property 1 <! >< *, ĠInt >) Ġ{ ĊĠĠĠ Ġif Ġ( int DTO Ġ!= Ġnull ) Ġ{ ĊĠĠĠĠĠĠĠ Ġ<! DEBUG _ INFO _ SM ART CAST !> int DTO <! >[ DTO :: q ] ĊĠĠĠĠĠĠĠ Ġ<! DEBUG _ INFO _ SM ART CAST !> int DTO <! >. q ĊĠĠĠ Ġ} Ċ } Ċ