16 #include "conversion.h"
25 namespace ark::es2panda::checker::conversion {  namespace
116     // 11.1.6. Narrowing Reference Conversion  in IsAllowedNarrowingReferenceConversion()
117 …// A narrowing reference conversion exists from reference type S to a reference type T if all of t…  in IsAllowedNarrowingReferenceConversion()
155 …   //    array of components of type TC; and a narrowing reference conversion exists from SC to TC.  in IsAllowedNarrowingReferenceConversion()
168 …// 9. S is a type variable, and a narrowing reference conversion exists from the upper bound of S …  in IsAllowedNarrowingReferenceConversion()
171 … is a type variable, and either a widening reference conversion or a narrowing reference conversio…  in IsAllowedNarrowingReferenceConversion()
176     // conversion or a  in IsAllowedNarrowingReferenceConversion()
177     //     narrowing reference conversion exists from Si to T.  in IsAllowedNarrowingReferenceConversion()
181     // conversion or a  in IsAllowedNarrowingReferenceConversion()
182     //     narrowing reference conversion exists from S to Ti.  in IsAllowedNarrowingReferenceConversion()
195     // - A narrowing reference conversion from a type S to a parameterized class or interface  in IsUncheckedNarrowingReferenceConversion()
200     // - A narrowing reference conversion from a type S to a type variable T is unchecked.  in IsUncheckedNarrowingReferenceConversion()
201     // - A narrowing reference conversion from a type S to an intersection type T1 & … & Tn  in IsUncheckedNarrowingReferenceConversion()
203     //     narrowing reference conversion from S to Ti is unchecked.  in IsUncheckedNarrowingReferenceConversion()
366 }  // namespace ark::es2panda::checker::conversion