fix for null check with mixed typed argument

#1111 (comment)
peachpiecompiler · May 22, 2023 · cadd6b4 · cadd6b4
1 parent 531bcf0
commit cadd6b4
Showing 1 changed file with 14 additions and 3 deletions.
diff --git a/src/Peachpie.CodeAnalysis/Symbols/Source/SourceParameterSymbol.cs b/src/Peachpie.CodeAnalysis/Symbols/Source/SourceParameterSymbol.cs
@@ -26,7 +26,7 @@ internal sealed class SourceParameterSymbol : ParameterSymbol
         /// Index of the source parameter, relative to the first source parameter.
         /// </summary>
         readonly int _relindex;
-        
+
         ImmutableArray<AttributeData> _attributes;
 
         TypeSymbol _lazyType;
@@ -55,7 +55,7 @@ public override FieldSymbol DefaultValueField
                 if (_lazyDefaultValueField == null && Initializer != null && ExplicitDefaultConstantValue == null)
                 {
                     TypeSymbol fldtype; // type of the field
-                    
+
                     if (Initializer is BoundArrayEx arr)
                     {
                         // special case: empty array
@@ -191,6 +191,17 @@ public override bool HasNotNull
                     return false;
                 }
 
+                if (_syntax.TypeHint is PrimitiveTypeRef ptref)
+                {
+                    switch (ptref.PrimitiveTypeName)
+                    {
+                        case PrimitiveTypeRef.PrimitiveType.never:
+                        case PrimitiveTypeRef.PrimitiveType.mixed:
+                            // can be null
+                            return false;
+                    }
+                }
+
                 //
                 return true;
             }
@@ -301,7 +312,7 @@ public override ImmutableArray<SyntaxReference> DeclaringSyntaxReferences
         }
 
         public override ImmutableArray<AttributeData> GetAttributes() => _attributes;
-        
+
         internal override IEnumerable<AttributeData> GetCustomAttributesToEmit(CommonModuleCompilationState compilationState)
         {
             // [param]