[flang] Any type can appear in a structure constructor for an unlimited polymorphic allocatable component

[klausler]

Summary

A bogus error message is appearing for structure constructors containing
values that correspond to unlimited polymorphic allocatable components.
A value of any type can actually be used.

flang/lib/Semantics/expression.cpp

if (symbol) {
                 Say(expr.source,
                     "Shape of component '%s' cannot be determined"_err_en_US,
                     symbol->name()),
                 *symbol);
           }
         } else if (IsAllocatable(*symbol) && IsBareNullPointer(&*value)) {
           // NULL() with no arguments allowed by 7.5.10 para 6 for ALLOCATABLE
         } else if (auto symType{DynamicType::From(symbol)}) {
-          if (valueType) {
+          if (IsAllocatable(*symbol) && symType->IsUnlimitedPolymorphic() &&
+              valueType) {
+            // ok
+          } else if (valueType) {
             AttachDeclaration(
                 Say(expr.source,
                     "Value in structure constructor of type %s is "
                     "incompatible with component '%s' of type %s"_err_en_US,
                     valueType->AsFortran(), symbol->name(),
                     symType->AsFortran()),
                 *symbol);
           } else {

flang/test/Semantics/structconst01.f90

subroutine errors
     !ERROR: Component 'n' conflicts with another component earlier in this structure constructor
     call type2arg(type2(0,0)(type1=type1(0)(1),n=2,m=3))
     !ERROR: Type parameter 'j' may not appear as a component of a structure constructor
     call type2arg(type2(0,0)(j=1, &
     !ERROR: Type parameter 'k' may not appear as a component of a structure constructor
       k=2,m=3))
     !ERROR: ABSTRACT derived type 'abstract' may not be used in a structure constructor
     call abstractarg(abstract(0)(n=1))
+    !This case is ok
   end subroutine errors
+  subroutine polycomponent
+    type :: poly
+      class(*), allocatable :: p
+    end type poly
+    type(poly) :: x
+    ! These cases are not errors
+    x = poly(1)
+    x = poly('hello')
+    x = poly(type1(1)(123))
+    !ERROR: Value in structure constructor is incompatible with  component 'p' of type CLASS(*)
+    x = poly(z'feedface')
+  end subroutine
 end module module1