16 #include "conversion.h"
24 namespace ark::es2panda::checker::conversion {  namespace
122     // 11.1.6. Narrowing Reference Conversion  in IsAllowedNarrowingReferenceConversion()
123 …// A narrowing reference conversion exists from reference type S to a reference type T if all of t…  in IsAllowedNarrowingReferenceConversion()
154 …   //    array of components of type TC; and a narrowing reference conversion exists from SC to TC.  in IsAllowedNarrowingReferenceConversion()
167 …// 9. S is a type variable, and a narrowing reference conversion exists from the upper bound of S …  in IsAllowedNarrowingReferenceConversion()
170 … is a type variable, and either a widening reference conversion or a narrowing reference conversio…  in IsAllowedNarrowingReferenceConversion()
175     // conversion or a  in IsAllowedNarrowingReferenceConversion()
176     //     narrowing reference conversion exists from Si to T.  in IsAllowedNarrowingReferenceConversion()
180     // conversion or a  in IsAllowedNarrowingReferenceConversion()
181     //     narrowing reference conversion exists from S to Ti.  in IsAllowedNarrowingReferenceConversion()
194     // - A narrowing reference conversion from a type S to a parameterized class or interface  in IsUncheckedNarrowingReferenceConversion()
199     // - A narrowing reference conversion from a type S to a type variable T is unchecked.  in IsUncheckedNarrowingReferenceConversion()
200     // - A narrowing reference conversion from a type S to an intersection type T1 & … & Tn  in IsUncheckedNarrowingReferenceConversion()
202     //     narrowing reference conversion from S to Ti is unchecked.  in IsUncheckedNarrowingReferenceConversion()
362 }  // namespace ark::es2panda::checker::conversion