/* Ċ Ġ* ĠCopyright Ġ 2 0 1 0 - 2 0 1 6 ĠJetBrains Ġs . r . o . Ċ Ġ* Ċ Ġ* ĠLicensed Ġunder Ġthe ĠApache ĠLicense , ĠVersion Ġ 2 . 0 Ġ( the Ġ" License "); Ċ Ġ* Ġyou Ġmay Ġnot Ġuse Ġthis Ġfile Ġexcept Ġin Ġcompliance Ġwith Ġthe ĠLicense . Ċ Ġ* ĠYou Ġmay Ġobtain Ġa Ġcopy Ġof Ġthe ĠLicense Ġat Ċ Ġ* Ċ Ġ* Ġhttp :// www . apache . org / licenses / LICENSE - 2 . 0 Ċ Ġ* Ċ Ġ* ĠUnless Ġrequired Ġby Ġapplicable Ġlaw Ġor Ġagreed Ġto Ġin Ġwriting , Ġsoftware Ċ Ġ* Ġdistributed Ġunder Ġthe ĠLicense Ġis Ġdistributed Ġon Ġan Ġ" AS ĠIS " ĠBASIS , Ċ Ġ* ĠWITHOUT ĠWARRANTIES ĠOR ĠCONDITIONS ĠOF ĠANY ĠKIND , Ġeither Ġexpress Ġor Ġimplied . Ċ Ġ* ĠSee Ġthe ĠLicense Ġfor Ġthe Ġspecific Ġlanguage Ġgoverning Ġpermissions Ġand Ċ Ġ* Ġlimitations Ġunder Ġthe ĠLicense . Ċ Ġ*/ Ċ Ċ package Ġorg . jetbrains . kotlin . js . resolve . diagnostics Ċ Ċ import Ġorg . jetbrains . kotlin . descriptors . Declaration Descriptor Ċ import Ġorg . jetbrains . kotlin . descriptors . Variable Descriptor With Accessors Ċ import Ġorg . jetbrains . kotlin . psi . Kt Class Or Object Ċ import Ġorg . jetbrains . kotlin . psi . Kt Declaration Ċ import Ġorg . jetbrains . kotlin . psi . Kt Deleg ated Super Type Entry Ċ import Ġorg . jetbrains . kotlin . psi . Kt Property Ċ import Ġorg . jetbrains . kotlin . resolve . Binding Context Ċ import Ġorg . jetbrains . kotlin . resolve . check ers . Declaration Checker Context Ċ import Ġorg . jetbrains . kotlin . resolve . check ers . Declaration Checker Ċ import Ġorg . jetbrains . kotlin . types . is Dynamic Ċ Ċ object ĠJs Dynamic Declaration Checker Ġ: ĠDeclaration Checker Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġcheck ( declaration : ĠK t Declaration , Ġdescriptor : ĠDeclaration Descriptor , Ġcontext : ĠDeclaration Checker Context ) Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġtrace Ġ= Ġcontext . trace ĊĠĠĠĠĠĠĠ Ġif Ġ( declaration Ġis ĠK t Property Ġ&& Ġdescriptor Ġis ĠVariable Descriptor With Accessors ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdeclaration . delegate Expression ?. let Ġ{ Ġdelegate Expression Ġ-> ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġprovide Delegate Call Ġ= Ġtrace [ Binding Context . PRO VID E _ DE LEG ATE _ RESOL VED _ CALL , Ġdescriptor ] ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġif Ġ( provide Delegate Call Ġ!= Ġnull Ġ&& Ġprovide Delegate Call . result ing Descriptor . returnType ?. is Dynamic () Ġ== Ġtrue Ġ|| ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġtrace . getType ( delegate Expression )?. is Dynamic () Ġ== Ġtrue ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġtrace . report ( Errors Js . PROPERTY _ DE LEG ATION _ BY _ DYNAMIC . on ( delegate Expression )) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġelse Ġif Ġ( declaration Ġis ĠK t Class Or Object ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġfor Ġ( delegate Decl Ġin Ġdeclaration . super TypeList Entries . filter Is Instance < Kt Deleg ated Super Type Entry >()) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġdelegate Expr Ġ= Ġdelegate Decl . delegate Expression Ġ?: Ġcontinue ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġif Ġ( trace . getType ( delegate Expr )?. is Dynamic () Ġ== Ġtrue ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġtrace . report ( Errors Js . DE LEG ATION _ BY _ DYNAMIC . on ( delegate Expr )) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ } Ċ