16 #include "conversion.h"
24 namespace ark::es2panda::checker::conversion {  namespace
117     // 11.1.6. Narrowing Reference Conversion  in IsAllowedNarrowingReferenceConversion()
118 …// A narrowing reference conversion exists from reference type S to a reference type T if all of t…  in IsAllowedNarrowingReferenceConversion()
149 …   //    array of components of type TC; and a narrowing reference conversion exists from SC to TC.  in IsAllowedNarrowingReferenceConversion()
162 …// 9. S is a type variable, and a narrowing reference conversion exists from the upper bound of S …  in IsAllowedNarrowingReferenceConversion()
165 … is a type variable, and either a widening reference conversion or a narrowing reference conversio…  in IsAllowedNarrowingReferenceConversion()
170     // conversion or a  in IsAllowedNarrowingReferenceConversion()
171     //     narrowing reference conversion exists from Si to T.  in IsAllowedNarrowingReferenceConversion()
175     // conversion or a  in IsAllowedNarrowingReferenceConversion()
176     //     narrowing reference conversion exists from S to Ti.  in IsAllowedNarrowingReferenceConversion()
189     // - A narrowing reference conversion from a type S to a parameterized class or interface  in IsUncheckedNarrowingReferenceConversion()
194     // - A narrowing reference conversion from a type S to a type variable T is unchecked.  in IsUncheckedNarrowingReferenceConversion()
195     // - A narrowing reference conversion from a type S to an intersection type T1 & … & Tn  in IsUncheckedNarrowingReferenceConversion()
197     //     narrowing reference conversion from S to Ti is unchecked.  in IsUncheckedNarrowingReferenceConversion()
357 }  // namespace ark::es2panda::checker::conversion