// Ġ! USE _ EXPERIMENT AL : Ġkotlin . Requires Opt In Ċ // Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER Ċ // ĠFILE : Ġapi . kt Ċ Ċ package Ġapi Ċ Ċ @ Requires Opt In ( level Ġ= ĠRequires Opt In . Level . WARNING ) Ċ @ Target ( Annotation Target . CLASS , ĠAnnotation Target . FUNCTION , ĠAnnotation Target . PROPERTY , ĠAnnotation Target . TYPE ALIAS , ĊĠĠĠĠĠĠĠ ĠAnnotation Target . VALUE _ PARAMETER ) Ċ @ Retention ( Annotation Retention . BINARY ) Ċ annotation Ġclass ĠExperimental API Ċ Ċ @ Experimental API Ċ @ Target ( Annotation Target . CLASS , ĠAnnotation Target . FUNCTION , ĠAnnotation Target . PROPERTY , ĠAnnotation Target . TYPE ALIAS , ĊĠĠĠĠĠĠĠ ĠAnnotation Target . VALUE _ PARAMETER ) Ċ @ Retention ( Annotation Retention . BINARY ) Ċ annotation Ġclass ĠE Anno Ċ Ċ // ĠFILE : Ġusage - propagate . kt Ċ Ċ package Ġusage 1 Ċ Ċ import Ġapi .* Ċ Ċ @ Experimental API Ċ @ E Anno Ġfun Ġfunction () Ġ{} Ċ Ċ @ Experimental API Ċ fun Ġparameter (@ E Anno Ġp : ĠString ) Ġ{} Ċ Ċ @ Experimental API Ċ fun Ġparameter Type ( p : Ġ<! WRONG _ AN NOT ATION _ TARGET ! >@ E Anno <! > ĠString ) Ġ{} Ċ Ċ @ Experimental API Ċ fun ĠreturnType (): Ġ<! WRONG _ AN NOT ATION _ TARGET ! >@ E Anno <! > ĠUnit Ġ{} Ċ Ċ @ Experimental API Ċ @ E Anno Ġval Ġproperty Ġ= Ġ"" Ċ Ċ @ Experimental API Ċ @ E Anno Ġtype alias ĠType alias Ġ= ĠUnit Ċ Ċ @ Experimental API Ċ @ E Anno Ġclass ĠK lass Ċ Ċ @ Experimental API Ċ annotation Ġclass ĠAnnotation Argument ( val Ġp : ĠE Anno ) Ċ Ċ @ Experimental API Ċ fun Ġinside Body () Ġ{ ĊĠĠĠ Ġ@ E Anno Ġfun Ġlocal () Ġ{} Ċ } Ċ Ċ @ Experimental API Ċ fun Ġin Default Argument ( f : Ġ() Ġ-> ĠUnit Ġ= Ġ@ E Anno Ġfun () Ġ{}) Ġ{} Ċ Ċ @ Experimental API Ċ val Ġin Property Ġ= Ġ@ E Anno Ġfun () Ġ{} Ċ Ċ @ Experimental API Ċ val Ġin Property Accessor : Ġ() Ġ-> ĠUnit ĊĠĠĠ Ġget () Ġ= Ġ@ E Anno Ġfun () Ġ{} Ċ Ċ // ĠFILE : Ġusage - use . kt Ċ Ċ package Ġusage 2 Ċ Ċ import Ġapi .* Ċ Ċ @ Opt In ( Experimental API :: class ) Ċ @ E Anno Ġfun Ġfunction () Ġ{} Ċ Ċ @ Opt In ( Experimental API :: class ) Ċ fun Ġparameter (@ E Anno Ġp : ĠString ) Ġ{} Ċ Ċ @ Opt In ( Experimental API :: class ) Ċ fun Ġparameter Type ( p : Ġ<! WRONG _ AN NOT ATION _ TARGET ! >@ E Anno <! > ĠString ) Ġ{} Ċ Ċ @ Opt In ( Experimental API :: class ) Ċ fun ĠreturnType (): Ġ<! WRONG _ AN NOT ATION _ TARGET ! >@ E Anno <! > ĠUnit Ġ{} Ċ Ċ @ Opt In ( Experimental API :: class ) Ċ @ E Anno Ġval Ġproperty Ġ= Ġ"" Ċ Ċ @ Opt In ( Experimental API :: class ) Ċ @ E Anno Ġtype alias ĠType alias Ġ= ĠUnit Ċ Ċ @ Opt In ( Experimental API :: class ) Ċ @ E Anno Ġclass ĠK lass Ċ Ċ @ Opt In ( Experimental API :: class ) Ċ annotation Ġclass ĠAnnotation Argument ( val Ġp : ĠE Anno ) Ċ Ċ fun Ġinside Body () Ġ{ ĊĠĠĠ Ġ@ Opt In ( Experimental API :: class ) Ġ@ E Anno Ġfun Ġlocal () Ġ{} Ċ } Ċ Ċ fun Ġin Default Argument (@ Opt In ( Experimental API :: class ) Ġf : Ġ() Ġ-> ĠUnit Ġ= Ġ@ E Anno Ġfun () Ġ{}) Ġ{} Ċ Ċ @ Opt In ( Experimental API :: class ) Ċ val Ġin Property Ġ= Ġ@ E Anno Ġfun () Ġ{} Ċ Ċ val Ġin Property Accessor : Ġ() Ġ-> ĠUnit ĊĠĠĠ Ġ@ Opt In ( Experimental API :: class ) ĊĠĠĠ Ġget () Ġ= Ġ@ E Anno Ġfun () Ġ{} Ċ Ċ // ĠFILE : Ġusage - none . kt Ċ Ċ package Ġusage 3 Ċ Ċ import Ġapi .* Ċ Ċ @ E Anno Ġfun Ġfunction () Ġ{} Ċ Ċ fun Ġparameter (@ E Anno Ġp : ĠString ) Ġ{} Ċ Ċ fun Ġparameter Type ( p : Ġ<! WRONG _ AN NOT ATION _ TARGET ! >@ E Anno <! > ĠString ) Ġ{} Ċ Ċ fun ĠreturnType (): Ġ<! WRONG _ AN NOT ATION _ TARGET ! >@ E Anno <! > ĠUnit Ġ{} Ċ Ċ @ E Anno Ġval Ġproperty Ġ= Ġ"" Ċ Ċ @ E Anno Ġtype alias ĠType alias Ġ= ĠUnit Ċ Ċ @ E Anno Ġclass ĠK lass Ċ Ċ annotation Ġclass ĠAnnotation Argument ( val Ġp : ĠE Anno ) Ċ Ċ fun Ġinside Body () Ġ{ ĊĠĠĠ Ġ@ E Anno Ġfun Ġlocal () Ġ{} Ċ } Ċ Ċ fun Ġin Default Argument ( f : Ġ() Ġ-> ĠUnit Ġ= Ġ@ E Anno Ġfun () Ġ{}) Ġ{} Ċ Ċ val Ġin Property Ġ= Ġ@ E Anno Ġfun () Ġ{} Ċ Ċ val Ġin Property Accessor : Ġ() Ġ-> ĠUnit ĊĠĠĠ Ġget () Ġ= Ġ@ E Anno Ġfun () Ġ{} Ċ